274e9c
bin/get_{admins,roles}.py: introduce function to get roles of one server and use it on get_admins.py as well