New CircleCI badge!

fixes #5751