Adding printing of ltac envs to debugger.