Updated Redactor 9.2 -> 10.0

There are still some small glitches and I have not yet overhauled the API access from our own scripts (e.g. mentions). If something related to the editor is now broken, blame me.