eval for atomic tactic (in general;not with isabelle) supported. New version, not based on rewriting for simplicity. Only single box, given a goalname, currently works; without logging/debugging. Next: support for isabelle