Bring back jquery.scrollspy.js.

Which was accidentally removed in commit e072a26f, thus breaking highlighting
of focused search results.

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