Fix licenses
sel4bench: one NAME_COUNTER macro Multiple definitions are not required not that the prefixes have been dropped on the event constants
Name all event counter files event_counters.c