The KenyaEMR distribution of OpenMRS