Makefile target to build html listings
Created dummy index.html for github pages
Merge branch 'gh-pages' of github.com:agda/agda-stdlib into gh-pages