update travis integration. add travis badge