Novel SBG algorithm to compute matching.

This version uses the SBG library novel algorithm to compute the matching stage of the compilation process.
The new SBG data structures and the new algorithm for the connected components are defined here.
For instructions and examples on how to run the matching algorithm in Modelica models, check this for details. The evaluators are implemented in the SBG library.