another update for pbm printing
For testing purposes:
Adds option to splice matrix with dense pivot rows
instead of sparse ones, which is the usual behaviour.