Make permalinks also scroll to target when clicked

* Also produce fragment identifier compatible ids for /docs