use php-marked to render markdown