Skips to the first match beyond the current, whose document number is
/// greater than or equal to target. 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.
///
public abstract bool SkipTo(int target);
///