Also update badges to point to docker hub and circleci, not
travis and quay.io.