Should talk about HHVM instead of PHP in the intro

Fixes #274