changed the eqvt-tac to move only outermost permutations inside; added tracing infrastructure for the eqvt-tac

quick_and_dirty := true;
no_document use_thys ["LaTeXsugar"];
use_thys ["Paper"];