Returns true iff there is such /// a match.
Behaves as if written:
/// boolean skipTo(int target) {
/// do {
/// if (!next())
/// return false;
/// } while (target > doc());
/// return true;
/// }
///
/// Most implementations are considerably more efficient than that.
///