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