Use os x for Travis CI to be able to use mono 3.2