Makefile: Add target checkdoc to check documentation guidelines of lisp files

[fabacino]

This PR adds a new target checkdoc to the Makefile to check documentation guidelines of lisp files. I think it is more convenient to have its own target for that than doing it together in the compile and run targets. Thus, I removed the checkdoc code from the file avy-init because it became superfluous there.