ProB für PO Dateien von Atelier-B

Es soll der BParser von ProB angepasst werden damit die Atelier-B PO-Dateien geladen werden können und mit ProB analysiert werden können.