remove .gitignore in preparation for merge
subtree merged in core-hq (subcase-repeat branch)