Remove setting of prob.stdlib now that ProB 2 does it automatically

1 job for master in 4 minutes and 17 seconds (queued for 1 second)