Merge branch 'Branch_master' into 'master'

Added dtype option to prober.

See merge request !169
5 jobs for master in 13 minutes and 49 seconds (queued for 2 seconds)