Define a customization group. Let users customize the python executable to use. Fixes #54.