add SF, CPDT, and Agda tutorial
fix Agda tutorial's title
Merge pull request #282 from philnguyen/master

Add Coq and Agda books