Add a manual for PFL written in Latex
Improve Makefile