Tweaked GitHub-provided .gitignore file.