A web app that uses the geolocation API to produce GPX files