r4.0.0

• majorly improved mixed-integer handling based on a more concise lower bound of variances and on so-called integer centering
• moved options and parameters code into a new file
• many small-ish fixes and improvements