Merged AlloySolver into MultiObjectiveSolver

-Renamed GIAStepCounter to StepCounter
-Made GIA to use an actual thread

This requires changes to Alloy: d908d0a2f7103c3746dfa073a1a1dcf5b2512a31