chore(travis): update
dct first commit
Merge branch 'master' of github.com:dreal/paper

Conflicts:
	.travis.yml