DistB: start standard ProB

Description

None

Environment

None
Fixed

Assignee

Philipp Koerner

Reporter

Philipp Koerner