Updated code for UDP sending, added switch matrix code to repo.
Merge branch 'master' of https://github.com/GaloisInc/self-aware-pinball

Conflicts:
	arduino/udppins-serial/UDPServer.cpp
	arduino/udppins-serial/udppins-serial.ino
Updated to fix merge conflicts.
Merge branch 'master' of https://github.com/GaloisInc/self-aware-pinball