more code and patches for Atom and Gates
Fix in patch
Added agda code tex files as dependencies in Makefile