Insight toggle

This is the code used for the toggle of the InsightCode.

Right now, I've added the ui-codemirror.js file because it is not included by the WebJars at the moment (I've made a new issue in angular-ui on that matter).