gitignore: add rule to ignore files created by make pdf
build: texi2dvi on os x is too old, modify build instructions accordingly