Update the Binomials package

- Fix a bug where binomialMinimalPrimes would return too many
  primes (Thanks to Tobias Windisch for finding it).
- Rename removeRedundant to extractInclusionMinimalIdeals because that
  is more descriptive.
- Improve extractInclusionMinimalIdeals
- Remove an unused (and somewhat duplicate) function removeEmbedded.
- Miscellaneous small improvements.