[Makefile] make sure to build Everything.agda before generating html
Merge branch 'master' into gh-pages