Change back to michelf original version of php-markdown
Add suport to GooglePrettfy, and minor corrections on autorenderer