Program converting Python programs into stand-alone executables
