Travis-CI: adding OS X as one of the OS targets (in addition to Linux).