pymavlink: added mavtomfile.py tool

thanks to Michael Day for the idea and initial implementation!