v3.0.1

Fixed bugs

• issue warning if PaPILO is not build with Boost iostreams but user attempts to parse compressed file
• Probing: corrected index in binary column restriction
• RoundingSAT: updated interface