The 'file' attribute in an <op> element is not mandatory.
Also, introduce PyAnnolibError as a common exception.