Fix for coveralls badge
Reconfigure Travis CI to build under Mac OS X