fix #3; add travis badge