Automatically adding GitHub ribbon to html output in the Makefile.