[Makefile] make sure to build Everything.agda before generating html
bash script to generate listings for gh-pages branch