Use Pygments API

Main reason is this change allows this to work with Pyinstaller (I currently have to maintain a fork just to have this small change).  But also, the API is less likely to change and probably the more appropriate way to access Pygments.