Switch to Bootstrap.Scrollspy.

Previously we were using a horribly inefficient scrollspy written by me. This
should improve responsiveness in general.

Signed-off-by: Anurag Priyam <anurag08priyam@gmail.com>
Let browser add ellipsis to entries in the index if id too long.

Signed-off-by: Anurag Priyam <anurag08priyam@gmail.com>
Remove some dead code.

Signed-off-by: Anurag Priyam <anurag08priyam@gmail.com>