GraphicsPDF: A version of OCaml's Graphics library which outputs PDF files