require Sphinx 1.2+ to support :annotation: on  autodata directives
moved 'noproxy' in abilian.core.util
added Role class + Anonymous, Authenticated, Admin markers; added indexable_role to convert a Role to indexed text
set g.user/is_manager/... from login signal, not in before_request. Cleanup on logout
testcase: added login,logout,login_system methods
filter on allowed_roles_and_users unless user has global manager role
added api doc entries from some services
search results: highlight matched terms in description