Maintenance release that fixes building the app from source for F-Droid. No
functional changes; the app is identical to 0.1.1.
