move hakyll-agda to a separate package
update makefile---no more cabal package
tweaks to posts
pre horiz scroll