Added a divider in the databse dropdown menu and changed color of
corneredBadge to be consistent with the overall design
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel