credit authors in documentation

authors, documenters and translators have only a small credit section hidden in the About menu of the GUI. this is populated from a list of properties in monkeysign/init.py. there should be a credits section in the documentation that includes those people as well.

unfortunately, that means turning Python code into docs, something which is surprisingly hard to do in sphinx: there's a autorun module in sphinx-contrib, but that's not shipped with sphinx by default (so another dependency). stackexchange proposes variations on the theme, including a hand-made python script to parse the python code to a .rst file.

that all seems completely overkill.

it seems to me a simplest solution would be to have a regular AUTHORS file in a well-defined format (RST is fine), which would then be parsed by the GUI to give proper credits. in other words, instead of parsing code into RST, we would parse RST into code.