funcmp.cabal: move the project to github