Soplex 3.1.1

• Fix major bug in rational converting from python float that greatly reduced solver precision

• Simplify setup

• Use latest version of soplex