Add CI properly

Fixes the failing CI, and adds the button to the README