Add travis-ci config and badge.