I thought it's fairly obvious from Bob's pull request. Just modify your own installation of Arduino.h, main.cpp etc. as per the files that he modified. Since it's not part of the core yet, this must be done manually on each computer you expect to use to compile sketches. (Teensyduino does exactly this in a slightly more automated way.)
It can't be done as a regular library that's #included in a sketch.