Fix all the whitespace

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

Fix licenses

sel4bench: reset all counters

Resetting a subset of the counters a) doesn't work on all platforms c)
doesn't make much sense and b) is less code, d) unused functionality

If this functionality is required it can be readded in a working form at
a later date.

sel4bench: use 'mask' instead of 'counters'

This avoids confusion in loops that used to modify both 'counter' and
'counters'

sel4bench: style

sel4bench: use ccnt_t and remove duplicate

Was duplicated sel4bench_counter_t and format function

sel4bench: improve interface

- define array of generic events
- drop generic events that don't exist for all platforms (i.e are not
generic)
- define number of generic events
- define types to illustate the difference between a counter and an
event

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.