Added integration with Travis-CI and badges