Pull request for all the remaining patches, including the new performance monitors.

On Fri, 2014-10-10 at 04:23 -0700, Jens Breitbart wrote:
> Please use Tools() = delete;

Fixed.