Move 10% of anons to HHVM

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