Update changelog.md with changes of 0.7.2.0.
Improve Travis integration.