Added KColE code to how-to-use-SemiExt.py