Python installation should now respect the cmake installation path
Python installation should now respect the cmake installation path

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat