gen sh scripts: use mavgen.py from tools directory