foxx manager cleanup
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel

Conflicts:
	js/server/modules/org/arangodb/foxx.js
more fox-manager, added files section
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel