Improved Policy Editor

We've made it easier to write policies — instead of the plain-text input box we used to have, we've brought in a markdown editor. For users who add a lot of detail to their policies, this should make the authoring and editing experience a lot nicer.