added edit database menu for small navigation bar
added ctrl+return and cmd+return for saving a document using the json editor
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel