Update branch name in Travis badge.
Merge branch 'agriffis' into all