Add HHVM and PHP53 platform

Due to the differences between PHP 5.5 and older PHP run-time, sometimes we need PHP5.3 running in production environment.