methods to compute connected components

Added methods:
- FundamentalCircuitsWithBasis
- IsConnected
- MinorWithLogic
- DirectSumDecomposition

Small fixes:
- changed names of global LI functions
- changed Minor method for abstract matroids
- Circuit method for vector matroids now uses FundamentalCircuitsWithBasis