new server forwarder

for all modules. hides auto reconnect mechanism
using server forwarder for web interface
using server forwarder for isabelle assistant