Python code to create shell script to download and install a particular set of 64-bit linux images