F-Droid: implement notifications

[jspricke]

The push based notification use GMS and do not work with F-Droid. We came up with the idea of an API to download a region based on a coordinate (could be with noise for privacy) and evaluate the rain conditions locally on the phone.