stylistic changes + preparation for change in matroids' DirectSumDecomposition
- changed leading tab-characters to eight spaces
- new method RestrictionToComponentNC replaces all uses of method Minor in DirectSumDecomposition
  to avoid infinite recursion and unnecessary computation