Running (IVM) tests on osx.
Making alloy-test run on travis (in theory).