mediawiki: move most servers from the hhvm to the standard pool

We'll remove the last two later, to avoid paging on the hhvm lvs endpoints

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