Editor selector via dropdown

This PR allows users to select what "editor" to load by adding a dropdown. Right now there is GFM, Markdown (normal) and HTML.

One thing that is missing is that Google Drive still just looks for Markdown. Going to probably have to patch that later...