Issue #239: Add additional files/folders to .gitignore

See issue description for detailed information.