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

On Fri, 2014-10-10 at 04:26 -0700, Jens Breitbart wrote:
> Please move this file to
> 
> vendor/linux/linux/perf_event.h
> 
> and include a copy of the kernel-base/COPYING file in vendor/linux/

Well, most people seem to think, that classical header files are not
actually protected by copyright laws; the last major ruling in that
regard being Oracle v. Google. However, IANAL, so we can certainly
include the COPYING file just to be on the safe side.

That being said, I would prefer to entirely delete the file in question
instead. We would then have to require that the linux-libc-dev package
is installed in a version >= 3.14. Since we need Linux >= 3.14 for RAPL
sensors anyway, I think this is reasonable. We'd need to
patch .travis.yaml and README.md tough...

What do you think?