TODO:
- remove verbose=1 for BDDCML make
- add separators for BDDCML, BLOPEX
- fix Summary table (BOOST, Armadillo)