test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much faster;