Added Travis-CI integration back.