Update Google Play description
Remove dead 'code'
Remove last occurence of 'working title'
Merge branch 'master' into map
Display Google Maps licensing in AboutActivity

Convert text_about resource string to proper HTML on that occasion.
Remove excessive logging