Use hardware timer interrupt to capture ADC values at a specific frequency

[TheUnity42]

We need to be able to read ADC values at 1000 Hz. To do this off the raspberry pi pico, we can use the hardware timer interrupt to call a read function at a specified frequency. This function should also timestamp the samples (use a struct) and enqueue them onto a data structure to be read by the communication interface in the main loop