Mark3 RTOS Source

Adding clang-format style file

clang-format'ing everything for consistency. Regenerating documentation.

Running through clang-format for consistency. Moving to Linux-esque brace style.

- Starting to abstract out platform code for mark3no board
-- buttons, leds, heap, rtc, tracelogger, uart..

Adding mark3no dev board project

-Modifications for 1284p to accommodate Mark3 dev board

Adding preliminary RTC module.

-Adding new timer restart feature to mark3c

A few improvements and fixes
-Adding out-of-scope kernel panics; can't have kernel objects allocated on stack disappearing at runtime while in use! (more to come)
-Fix a bug in timers where double-starting a timer can mess up the global timer list
-Adding a timer start() method to restart an expired one-shot timer
-Fix a bug where removing a timer from the context of a one-shot timer callback could break timer expiry callbacks for other expired timers.

Attempt to get mono-derived FunkProgMono.exe building for cross-platform use.