[website: Tweak title/headline.
Petr Rockai <me@mornfall.net>**20130503151331
 Ignore-this: 99f6d7356548a2c788b95e8932cd9f8e
] hunk ./website/template.html 7
-<title>DiVinE</title>
+<title>DIVINE: Model Checking for Everyone</title>
hunk ./website/template.html 13
-<div id="header"><h1>DIVINE</h1> <br/> <h2> Parallel LTL Model Checker</h2> </div>
+<div id="header"><h1>DIVINE</h1> <h2> Model Checking for Everyone</h2> </div>