Made clearer separation of ADC event / hal modules
Re-created a shell implementation of the HAL to try mocking again
Refer to HAL headers by their full path from the root of the source
Re-introduced board-specific header
Board specific headers always included, only objects for the specific board are linked
Added negative test against adc event triggering
Re-enabled mock tests for event triggering off gpio logic level changes
GPIO module now controls a timer's output compare units individually