Renamed hhvm specific files

You asked about this before, so here it is for this repo. :)