Added instructions for fetching the PHP Markdown submodule