better use of direct sums
- added several fallback methods, e.g. IndependenceFunction, RankOfMatroid and SomeBasis
- dualising now uses DirectSumDecomposition
- changed Display method for abstract matroids