README: convert to Markdown format
[model-checker.git] / doc / Markdown /
2013-06-02 Brian NorrisMarkdown: add Markdown tool