JavaScript and Android Versions

Currently the applets are rewritten using libGDX, which allows to create a JavaScript version and an Android app automatically. This is highly experimental - use at own risk.