resolves #538 add pygments as source highlighter option

- also fix bug in CodeRay stylesheet
Merge pull request #545 from mojavelinux/pygments-highlighter

resolves #538 add pygments as source highlighter option