Name escaping for jobmanager webfrontend

HTML escaping for names in the webinterface of the jobmanager. Workaround for issue #171.