用PHP实现的、将PDF转成markdown文档的命令行工具。