* changes: run_armds_script.sh: Ask user which DSTREAM to connect to Adapt run_ds5_script.sh for recent Arm DS versions