Use Jgments instead of Pygments for code highlight

http://code.google.com/p/jgments/ is a Java port of Pygments.

Pros:

• java, no need to run using Jython anymore which would be a great improvement

Cons:

• not very active. Already old, there has been several major releases of Pygments since the last activity on trunk. I fear we would ends in the same situation than wikimodel where we have to become main contributor of the project to make it live
• 0 documentation on anything, would be good to at least add some explanation of what the difference between the python and java version, how to convert a python lexer in java...
• very far from supporting all Pygments languages (at least as far as i can see on the main page) but we can always keep Pygments highlighter and fallback on it when a language is not found
• no real versionned releases, just build of the trunk with it's date (does not have to be a cons but make me nervous). It should at least indicate which version of Pygments it follows.
• no maven build