add travis CI config + badge