Add Travis CI and Davis badges.