working directory for Isabelle proof scripts