make the user list a datatable

this PRs converts the user list into a datatable. the two other tabs in the user list are removed.

i also noticed there is a "contributor" flag, which never worked, and made it work.

the datatables-javascript-snippet is copypasted from the result view, but i don't know yet how to fix the duplication.

fixes #370.