Official Production Firmware v1.0

Firmware for the red & green chips has been committed to the appropriate
folders, the structure of which has changed slightly.  The .cpp.hex
firmware and .ino Arduino-IDE code files are available right now.