v2.5.2: Center search hits vertically

With this release, search hits will be centered on the page, rather than
appearing at the top or bottom as before. The point is to make them more
obvious.

Also in this release, iTerm2 now has working scroll + select out of the
box.