Since third-party code may not be loaded from the web in an extension,
requires bundling many GeoGebra app files into the extension.
Still to come: control panel for the extension.
Enabling type checking involves a full rearrangement of the
build process, as well as supplying types for some of the
dependencies.
Now that (hopefully) all of the methods are typed, can call
(for example) browser.setBrowserOption to manage the
viewer navigation.
Resolves#14.
Resolves#17.
Reviewed-on: #18
Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Co-committed-by: Glen Whitney <glen@studioinfinity.org>
