Some python tools for processing TCX file from my Garmin Forerunner into something more useful