Use new ProB 2 method for dot visualization without manual temp file

1 job for master in 7 minutes and 35 seconds