HAT: move the last servers out of the HHVM pool

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