Cleanup the documentation on build options.
For Travis CI - switch CI build to use OS X build environment.