delete learnt PB constraints more aggressively than learnt clauses or cardinality constraints
change API of Text.LPFile
use InternedString as the representation of row names in Text.MPSFile for reducing memory usage
optimize Text.MPSFile a bit