Add Travis and Coveralls badges
Add infer* test cases and separate converters test case