U: added badge of Travis CI