Arduino IDE 1.6.7

See this post for more information:
arduino/Arduino#3549 (comment)

This git branch just functions as a place to upload the binaries.
4316e2f

This is a compiled binary at "some" hourly build state. It also contains a minor HID PR improvement. Make sure to read the installing instructions above, since there is a little patch that needs to be applied before using the IDE.