This will probably be the final update of Strokkur, barring additional bugfixes.

• Included an Android build. This build may not work on all devices, but we've tested it on a reasonably-sized phone and it seems okay.
• Fixed a few typos.