Add discard method to BsonReaderMark. This would allow more efficient use of JsonStreamBuffer (see JAVA-3238) in the case where the mark was no longer needed. This will require changes to JsonStreamBuffer#discard if we want to support discarding marks in any order.