Removed multiobjective stuff from Options

This requires changes to Alloy: 2a486e6fe4c4897583f821829fa9cb81e9458be8