Menu contribution to convert Rascal files to highlighted HTML/LaTeX