- Breaking timerlist into separate timer/timerscheduler/timerlist modules
- removing underscores from filenames in kernel for consistency
- renaming kprofile to kernelprofile for consistency
- Adding mark3.h, which wraps all kernel objects/APIs with a single include
- Refactoring Arduino support so that importing the Mark3 lib results in only "mark3.h" being included, instead of every kernel header