Add a theme changer

[SchmiederDaniel]

Create a button so that the theme can be changed between light/dark mode.

• Make the theme depend on the browsers settings first
• Make the theme work with CodeMirror