pymavlink: install mavtomfile.py