mkdb: convert gtkdoc-mkdb to python