Remove useless env
Add CI & coverage badges
Add coverage in CI
Merge branch 'dev'