fixes bug 896000 - Install configman 1.1.9 from pypi instead of github, r=twobraids