viewer: upgrade to angular-ui-bootstrap 0.10.0

This makes the tooltip hack obsoletes since tooltip performance has been
fixed in this commit:
 https://github.com/angular-ui/bootstrap/commit/c0df32015167646343c44850355fb947593d7bd0
viewer: fix modal window size with new bootstrap 3 code
viewer: fix listing line numbers

They should not overflow out of the border.
viewer: better looking list of test properties

We enforce a width for items so they align correctly.
viewer: use tabs for different rolesets

The hope was to get better performance. We are not here yet since all
the HTML is generated right from the beginning.
viewer: keep default size for "file upload" field on upload page
viewer: dynamically render tabs

The primary purpose of tabs was to reduce the rendering time of the
page. Therefore, we arrange for the DOM to be computed only when a tab
is selected.