Fix all the whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of files

Fix licenses

sel4bench: remove layer of indirection in events

No longer required now directory structure is fixed.

sel4bench: use #pragma once

sel4bench: fix include structure and licenses

For too long sel4bench has relied on relative includes
and filenames with the CPU/ARMV in it.

Finally fix it.