Python: Docstring file