technicalities

this commit adds synctex to the makefile and the todonotes package for comments with
`\todo{my note}`