Selenium tests
Merge pull request #2 from JohannaMW/Isabelle_test

Selenium tests