Issue #323: Rename "Admin menu" to "Admin bar".
Merge pull request #474 from tarekdj/admin_bar

Issue #323: Rename "Admin menu" to "Admin bar".