revise travis config and add travis badge