added +RTS -IO -RTS to gitit command, and a matching -rtsopts in gitit.cabal
Merge branch 'dev'