adding options to maxres for experiments, include option to pretty print module parameters in smt2 style

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
working on maxres

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>