Makefile pdf target on osx

For creating pdfs via the Makefile, test for the presence of pdflatex and dvipdf and use whichever exists (preferring pdflatex).

Also adds clean target.