Fix badges and add CI.