New release after fixing #481
This is hitting lots of people now because they switched the index format because of the other problem we recently had.
So every single repo admin needs to regenerate their index with a fixed version of fdroidserver. To at last make that slightly easier, we should make a new release.