travis: simplify and speed up osx build