Added selection box in Admin interface to switch between databases. The user will only see databases where he has access to
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel