updated supported PHP version to PHP5.5, and added HHVM