Remove useless run script

This script was outdated and redundant with ./run.