Contracts on piThreads
Add atomic values
Integrate the atomic values in the runtime
scheduler master without gc
Add header representation files
Add macros CONTRACT_(PRE|PRE_INV|POST|POST_INV)
Rename sync to concurrent
Move PICC_Clock to pi_thread.h
Delete symbols.h