Added CI, coverage and badges