Bug 3820 only db

This is to support the only_db feature in the new navigation panel (also removing a probably not popular sub-feature: ordering of db names in the only_db directive).