hopenssl.cabal: move project to github