Fixes to ensure compiles with dialyzer
Add Travis-CI stuff