Small tool feeding Pandoc with Markdown, and generating HTML, TeX and PDF, and uploading online everything