Ignore core dumps in git