Add permalink on hover in docs headers

Since the headers already have IDs it only makes sense to have a permalink button available.

We could do it quickly with JS without changing the markup. I can make a PR soon if needed.

A nice addition would be to have it paired with ZeroClipboard.