Changes

add reference counting futures for use with waituntil

many updates and additions to the uC++ to CFA cheat sheet

raise * in /* and */ to look better

many citation updates

add missing Ada test program to Fangren's thesis

update semaphore lock

rewrite test program with futures and waituntil