Add badges

Author: gdalle

README.md

@@ -1,3 +1,8 @@
 # InferOptBenchmarks.jl
 
+[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://JuliaDecisionFocusedLearning.github.io/InferOptBenchmarks.jl/dev/)
+[![Build Status](https://github.com/JuliaDecisionFocusedLearning/InferOptBenchmarks.jl/actions/workflows/Test.yml/badge.svg?branch=main)](https://github.com/JuliaDecisionFocusedLearning/InferOptBenchmarks.jl/actions/workflows/Test.yml?query=branch%3Amain)
+[![Coverage](https://codecov.io/gh/JuliaDecisionFocusedLearning/InferOptBenchmarks.jl/branch/main/graph/badge.svg)](https://app.codecov.io/gh/JuliaDecisionFocusedLearning/InferOptBenchmarks.jl)
+[![Code Style: Blue](https://img.shields.io/badge/code%20style-blue-4495d1.svg)](https://github.com/JuliaDiff/BlueStyle)
+
 Set of benchmark problems to be solved with [InferOpt.jl](https://github.com/axelparmentier/InferOpt.jl)