Add a PHP markdown library