Prepare everything to run proper timing experiments, by making HOL Light scripts exit after execution