Combination of ProofGeneral and Org-mode (experimental)