fixed #35 -> resolved with insertUnique
added update-mechanism for session-data
added a naive detection of html-proof in `StarExec.Commands.getJobPair`
added a route `DisplayHtmlProof` to display the html-data in the job-pairs stdout
Merge branch 'master' of https://github.com/stefanvonderkrone/star-exec-presenter

Conflicts:
	config/settings.yml
	templates/show_job_pair.hamlet