Makefile target for doc updated (with .odocl too);
Makefile target for installation of the proof checker