Added a service worker to the GUI.

Merged Markus Scheidgen requested to merge pwa into v0.10.1

Merge request reports