Doxygen scripts for automatically updating doxygen on github push