Use MacOS environment on Travis-CI

Travis-CI on Linux still at Ubuntu 12.04, various compiler issues