Add Travis CI badge
Add lint to CI, fix name collision in types