Add a badge of build status on Travis CI