Mark3 RTOS Source

Regenerated docs to include EventFlag

Clarified a couple of things in the manual.

Adding EventFlag keywords to Arduino code

-Updated arduino config files to add eventflags

Updated arduino export script

-Getting rid of superfluous static analysis files... no need for these to be in the repo.
-More improvements to the eventflag API and test code (more pending)

Updating event flag API and docs so that Wait() returns the flags that woke up the thread.

-Added more tests for eventflag
-Completed logic for eventflag IPC/sync object

Improvements to the eventflag API, and some preliminary testing.

Adding prototype event flag blocking object/IPC code.