Main Makefile: add an export-git target to build a git repo and push
it to github.