Adding proofgeneral, libssreflect-coq and latexmk