vcdb: Added random number generator register documentation.

Source:
https://github.com/raspberrypi/linux/commit/e95a8204d7f8fc4f38900c99080103254c3cef11
vcdb: Watchdog/reset register documentation.

Source:
https://github.com/raspberrypi/linux/blob/rpi-3.6.y/arch/arm/mach-bcm2708/include/mach/platform.h
emulator: Fix sign extension on large numbers.

The most significant bits need to be masked first or the result will still
have them set.
tracer: Implemented tbh emulation.
vcdb: Added some system timer registers.
trace_decoder: Adapted the code to the new tracer format.
tracer: Fixed register emulation and added code for direct execution.
trace_decoder: Fixed compilation and added a program to parse memory dumps.