Editing with external editor

setting up a service to run a vis process based on files editable by an external editor, prepare new rvl files for better representation in topbraid, improve simple web UI