Allow positions data to be included on search results.

Also, make sure order of search results is deterministic! There was  a
chance for arbitrary, different orderings when search hits have identical scores.