updated Twitter's Bootstrap to v2.3.0
always load bootstrap
added a bootstrap dropdown for the tools in the main menu
changed text, added info style