Some browser-executable tests for the JS backend
More tests
Even more tests for JS backend
Do not include quotes in string_of_char
Make the --silent option actually silence the compiler
Fix the pretty printing (more or less)
Various fixes for the JS translaction (in particular record types)