A PHP library to turbocharge Mustache (http://mustache.github.io/mustache.5.html) performance on server side