dev v20190807.3

Continuous integration build 853, based on Superbuild v20190806.

Changes:

• Fixes UI style and color palette issues (GH-1284).
• Fixes broken map grid rotation (GH-1309).
• Adds a foreground service on Android, for better operation in standby and background (GH-576).
• Adds adjustable tool button size on Android (GH-1293).
• Fixes some crashes when editing (GH-1227, GH-1276).
• Cleanup of GPX track feature.
• Translation updates.
• Update to Android NDK r19c.

All changes since v20190622.5