CONTRIBUTING: add CI information