For Travis CI - switch back to Linux environment for main branch.

The CI on OS X environment will be setup in a separate mirror branch.