Add travis setup (for coverage report)