Merge branch 'brian-bot3' into bot3-changes

Merged in Brian's changes to fix crio build.sh.
Conflicts:
	frc971/crio/build.sh