1170 ACRA report: provider doesn't exist: gps
#1170
Check if the provider is available, if not, log  message to the GUI log.
Additionally, check for null LocationManager
Merge pull request #1206 from garvankeeley/1170-no-gps-locationprovider

1170 ACRA report: provider doesn't exist: gps
update to 1.3.0
patch the release_check.py as we don't keep ACRA information in the
private properties anymore