Fix #32: Fix broken travis ci badge