WebkitGTK+ trunk

Moves to trunk-based WebKitGTK+, in anticipation of 2.6.

A switch to the CMake build rules is required. Also included are a few fixes in the rpi-userland package and the enabling of CONFIG_PERF_EVENTS in the kernel config for the Raspberry Pi.