Adding HHVM to Travis and to badge list