Switch to latest snapshot version of ProB 2

1 job for master in 7 minutes and 27 seconds