Rename select* functions to partialsort*
The new name is more explicit, more consistent with sort and with one of the
most commonly used names for this operation (from the C++ stdlib). It also
does not conflict with other meanings e.g. for POSIX sockets and SQL.