Added PHP benchmark (closes #1)