Merge pull request #1 from JohannaMW/Isabelle_test

test
Merge pull request #2 from JohannaMW/Isabelle_test

Selenium tests
tests, one is still failing - lets solve it tomorrow
merge conflicts
integrating own stuff
Merge pull request #3 from JohannaMW/master

CI