Removed junk comments from Vagrantfile.
Added truecolor-enabled version of shrink.
Added name-mangling to output files to distinguish them by script.