add CheckFence, Daikon, COSPAN, CHARON, CARTS, SRI tools

- change TuLiP link to point to github
- mv: HybridSAL, HYSDEL
- update: Mocha, SAL