Bash scripts to toggle and test digital GPIO outputs on the Raspberry Pi