Adding tools.trace.

cider and liberator have a version clash. The 0.7.8 version seems to
keep liberator happy and work with cider.