Simplify `stashes_count` method

Simply count the number of newline characters instead of:

1. Dividing the string using a newline as a delimiter, creating an array
of substrings.

2. Checking that array's length.
Add version number to javascript libraries' files
Use jquery.scrollTo to smooth scroll to certain code lines

Previous behaviour, where the browser window scrolled instantly to the
desired position, was not only jarring and aesthetically unpleasing but
it was also confusing.