add project name to the generated filename
use CodeMirror for nicely formatted JSON print and syntax highlight
Merge branch 'master' of https://github.com/webgme/webgme