Adding a Travis-CI build-status badge