adb
add comp.py to compile every 10 sec
only run Make if tex changed