Integration with PinPlay.

Need a Pin kit extended with PinPlay: see http://www.pinplay.org.

New make option "-use_pinplay" will build the active scheduler PinPlay-enabled.

New "--log" option to 'idiom active' for recording a pinball.

Scripts for testing, recording, replaying one benchmark.
TODO: 'deadlock' is not recognized as a valid benchmark yet.