Initial pull

This branch represents a merge with the latest CKEditor 4.2 build. Added features include the ability to edit properties on paragraphs and to list and link to id attributes on other elements. The standard editor only lists anchors. There is also the ability to increment or decremet the span class from span-1 to span-6 via buttons on the menu bar. The list of allowed elements is in most cases limited to the HTML5 set.