Wide Coverage Demo App: show all Phrasebook translations

Also improve behaviour for languages that are missing in Phrasebook (Chinese).
Also update the initial set of languages in the menus to match Translate11.pgf.

src/www/wc.html

@@ -38,11 +38,14 @@ small { color: #666; }
   <select name=from>
     <option value=Bul>Bulgarian</option>
     <option value=Chi>Chinese</option>
+    <option value=Dut>Dutch</option>
     <option value=Eng selected>English</option>
     <option value=Fin>Finnish</option>
     <option value=Fre>French</option>
     <option value=Ger>German</option>
     <option value=Hin>Hindi</option>
+    <option value=Ita>Italian</option>
+    <option value=Spa>Spanish</option>
     <option value=Swe>Swedish</option>
   </select>
   <input type=button value="Clear" onclick="wc.clear()">
@@ -52,11 +55,14 @@ small { color: #666; }
   <select name=to onchange="wc.translate()">
     <option value=Bul>Bulgarian</option>
     <option value=Chi>Chinese</option>
+    <option value=Dut>Dutch</option>
     <option value=Eng>English</option>
     <option value=Fin>Finnish</option>
     <option value=Fre>French</option>
     <option value=Ger>German</option>
     <option value=Hin>Hindi</option>
+    <option value=Ita>Italian</option>
+    <option value=Spa>Spanish</option>
     <option value=Swe selected>Swedish</option>
   </select>
   <input name=colors type=checkbox checked onchange="wc.colors()"> Colors
@@ -83,7 +89,7 @@ small { color: #666; }
   </div>
 <p>
 <div class=modtime><small>
-<!-- hhmts start -->Last modified: Thu Apr 17 15:45:17 CEST 2014 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Thu May  8 01:37:42 CEST 2014 <!-- hhmts end -->
 </small></div>
 <script src="js/support.js"></script>
 <script src="js/gftranslate.js"></script>