update travis config, add travis badge