Updated print_optionbar_* to use bootstrap

This tidies up all of the top bars using bootstrap 3. It's two functions so takes effect over the whole site.

I've checked as many pages as possible and they all look good to me.