Clean-up confusion around tmp directory in gitignore file.