ajax: add <h1> title

Final part of #176.

* python/ajax/trans.html: Here.

python/ajax/trans.html

@@ -24,6 +24,7 @@
         $(".tabs").tabs();
 	$("#send").button();
 	$("#results").hide();
+	$("h1").hide();
         $("abbr").tipTip({maxWidth: "300px", delay: 1000,
                           edgeOffset: 3,
                           defaultPosition: "below"});
@@ -326,6 +327,7 @@
     <div id="lip6logo">
       <a href="http://www.lip6.fr/"><img border=0 src="logos/lip6sys64.png" alt="LIP6 Logo"></a></div>
     <div class="ltl2tgba">
+      <h1>Translator of LTL to Transition-based Generalized Büchi Automata</h1>
       <!-- The action below will not be used. -->
       <FORM id="trform" action="#"><P>
 	  <div class="ui-widget ui-widget-content ui-corner-all collapsible shadow">