Gaia GPS Android 5.3.5

A bunch of tweaks and bug fixes, mostly related to the new route-maker.