direct sums

- fixed DirectSumDecomposition
- IndependenceFunction methods for matroids with bases or circuits
- DirectSumOfMatroids method
- \+ and \= operators for matroids