dist.sh: Remove all sagenb stuff from dist/ dir on -s arg