mod_admin: admin menu is now done with bootstrap 3.