Remove obsolete setup script

The commands in the Dockerfile are equivalent, and easily
turned into a script, if needed. The script anyway suggested
to be modified, which is just as messy.