python Koan under CI