Fix bug where preprocessing BKZParam was created within too small scope
Linear pruning

If linearPruningLevel is greater than zero construct a linear pruning
vector such that the first blockSize - linearPruningLevel entries are
all 1 and then descent linearly at rate 1/blockSize.

Also add option -bkzlinearpruning which accepts a linear pruning level
as defined above.