Added support for creating temporary directories in which to compile code.
Added support for compiling and running Whiley programs, with the output being printed to a console.
Added support for enabling / disabling verification via a checkbox.  This initial version is pretty much complete now.
A few little tweaks.  Not sure what I should do now!!!
Working on a save function which allows a URL to encode a saved Whiley program.
Ok, making very good process towards a save function.
Making progress towards a save function that works.