Some changes to the UDP program to hopefully spew UDP packets with switch info.
Merge branch 'master' of https://github.com/GaloisInc/self-aware-pinball