IDE improvements

This request includes special passage colours, an "import from HTML" feature, some fixes and optimisations, etc. 
![](http://i.imgur.com/X8kaYRU.png)