Remove obsolete files
Ensure VERSION file stays up-to-date
stylistic fixes
fixed border case in KnownAutomorphisms
bugfix in RankFunction and IndependenceOracle for disconnected matroids
minor fixes
Merge pull request #6 from fingolfin/autodoc-update

Autodoc updates
improved Display method for abstract matroids
LIMatroids: added several implications, mostly for dual matroids
logic: one more implication for dual matroids