CI configuration

Run tests and produce coverage