1.0dev: integrate Pygments' knowledge about mimetypes.
This is done via the new method `get_extra_mimetypes` added to the `IHTMLPreviewRenderer` interface.
Closes #5533.
Authored by: cboos 2012-08-30
Parent: [r11227]
Child: [r11229]