micro added the travis ci badge