Performs the same tasks as on CircleCI and adds badge to README.md. No change made to the CircleCI config.