Official release, version 2014.02.12

Final set of changes for release.  Changed the page layout slightly;
updated to jquery-1.11.0; fixed a bug in virtual keyboard mapping for
Chrome (and maybe Safari); added cooltools.ccvf to the disk pulldown;
removed non-standard 4th virtual keyboard layout; complain if leaving
the page when a virtual disk has modified and unwritten state.