A benchmark tool for various PHP template engines