adding core dumps to gitignore
small simplification