A Python API to access a Mantis server through SOAP