Added formatter to menu
Pretty print indent fix
Added prettyprinter to QLS
Merge branch 'kemi' of github.com:software-engineering-amsterdam/sea-of-ql into kemi
Starting the web frontend generator.
Started semantic checker for QLS
Merge branch 'kemi'