Add macros to define the default options of the micpsolver

So we can use them in configuration.