Web: Emscripten port updated to current tools. Add saving of options in local storage. U Web: Emscripten port updated to current tools. Add saving of options in local storage.
Additionally, update build tools so that no stdio redirection is necessary.