Revamp trace anchors

- clicking on a trace will show an input with text selected, ready to copy
- clicking away will hide it again
- added necessary styles

- shimming ES5 features (without leaking shims) for highlight.js