SpGEMM: Now using an adaptive algorithm (vector vs. list)

For short rows in the result a vector is used, otherwise a list.
Optimization of cross-over point still open.