Delete mrproper.sh

I don't use this script anymore, so removing it because it's deprecated.