Prepare merge of arduino-git1 into pulses, script.

misc/scripts/prepare_git-merge_arduino-git1_into_pulses.sh