Peter/trace upload

Adds the following features to trace uploading:
- button to upload traces
- compression of file to gpx.gz
- no writing file to disk
- sets a lower bound on the number of points for a trace
indentation