Removed multiobjective stuff from Solver

MultiObjectiveSolver is the wrapper around pure Kodkod and is now the new interface for Alloy.

This requires changes to Alloy: b61f04d7300f4ee19aa732c3e0b960fb916fcf89