Refinement of the user-defined HTML5 interface for Csound6 for Android. Basically works now, needs a few tweaks.
Merge branch 'develop' of github.com:csound/csound into develop