SEO

• The index page should have a more descriptive title, like "Spot: LTL and omega-automata manipulation library"
• The index page should have a <meta> tags for description and keywords.
• The on-line translator should use a <h1> tag for the the box "LTL (or PSL) Formula to translate"