Change theme_managers_bar to a tpl.php

This is going to ease things for theme developers, so they can properly adapt the bar to a specific theme.