PHP library to decode markdown