hhvm: add Provides: php5

Change-Id: I5c43a427ac2849d7ea665c0ac7eca4373925656f
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>