Rename TinyMCE plugin scripts
Remove current editor from Gistpens
Quick doc fixes
Re-add editor, manipulate current editor into ACE

We likely need to implement some way of switching between ACE and plaintext. Currently implementation doesn't work because it wipes away the standard text editor where WordPress gets the content
Improved editor switching

Unfortunately, no text syncing yet.
Text syncing and post updating works
More ACE editor improvements

* Add ace theme selection box and save selection properly
* Copy ace file location and enqueue properly
Merge branch 'feature/ace-editor' into develop

* feature/ace-editor:
  More ACE editor improvements
  Text syncing and post updating works
  Improved editor switching
  Re-add editor, manipulate current editor into ACE
  Quick doc fixes
  Remove current editor from Gistpens
  Rename TinyMCE plugin scripts