SBCL-specific utility macro for executing forms in a given directory.
Switch to the TPTP file's directory before XMLizing it.