Convert BoxProver code to Latex markup

Convert BoxProver code to Latex code to fit the boxproof plugin. Paste the code of the whole proof, that is from the first premise/assumption to the last introduction/elemination. A proof is used as example:

p => q premise; [l1] q => r premise; [l2] ( p assumption; [h1] q by imp_e h1 l1 ; [res1] r by imp_e res1 l2 ) ; [imp1] p => r by imp_i imp1 Convert

In order to report errors, comment on the project page.