allow reset.sh to be called with --android or --ios if you only care about that platform

Fix #423