A driver for the UI side of the verification protocol
Merge branch 'verify' of https://github.com/leithaus/GLoSEval into verify
Some formatting