setup_linux.sh: Do not install puppet

It's simpler to inform the user when puppet isn't installed in the system,
in which case, the instructions on how to install it in puppet's official
website will be more helpful than anything I write myself.