Done with getting our Travis-CI script to work with OS X (closes #363).