Fix bug in min/max doc frequency computation. Add method for creating a new Vocabulary from a subset of another Vocabulary.