use ui.bootstrap.tooltip instead of twitter bootstrap's

misc. fixes (especially for developer buttons and model textarea)