Hhvm badge

Looks like the badge site has a cache, so we will hold merging the pull request until the cache refreshes and our badge is green.