A jQuery plugin enables scrolling to anchor links instead of jumping