Move source code renderer to separate plugin

The source code renderer that is part of the warnings plugin should be extracted into a separate plugin so other plugins can use it as well. The required JS rendering engine Prism.js should also be moved to that plugin.