add a 'reload control' checkbox to the navbar

- added via js because otherwise doesn't make sense
- has nothing to do with react, but was easier to develop with it. also franco told me his browser is running amok when keeping a leihs execution tab open