source-highlight/.gitignore