Added php-markdown library, and a Smarty plugin to use it.