disable the theme editing in wordpress

[aoloe]

since it does not make much sense to edit the themes inside of wordpress, pippin suggests that we should disable the tool.

define( 'DISALLOW_FILE_EDIT', true ); should do the trick...