TODO github build workflow github build status badge Try out Hakyll or Ema for static site generation. build script for dev deploy script