Port trace tool to React
Optimize colorization
Compute real dependent formulas, add links to navigate between formulas
Add color to formulas called with default arguments