Export Live Tracking as IGC files

This is currently a manual process that the server admin can do, but it can be extended in the future to allow it for everybody using the webinterface.