add circleci badge

no tests yet, though.