Add PHP Markdown 1.3