GUI update
Merge branch 'OpenTK' of https://github.com/dex3r/Explicatio into OpenTK