webui bugfixes and enhancements

[bezmi]

• double clicking the stop button should kill the solver process. This does not always happen
• opening multiple files should be supported
• document the webui print/logging functionality
• typescript refactor