Update Travis badge.
Merge pull request #894 from quamilek/develop

Update Travis badge.