[Automatic Bug Reporting Tool - ABRT] #837: document the python API