Fix F-Droid Server build and include some essential build utilities

ntninjarequested to merge
(removed):master into master

Title says it all and the changes are trivial to understand.

Merge request reports