GitLab

Adding idtac; in front of all tactics helps the Ltac profiler as it is otherwise confused by expression evaluation time and tactic running time. Also it should make the names in the profiler acurate. This tip comes from Jason Gross.