removed hhvm for the meantime due to timeouts in travis