Project moved to Github, deleting obsolete .hgignore