Fix jenkins job name matching

And make that also work in case we ever get a -hhvm job.
Merge pull request #14 from wmde/fixJenkins

Fix jenkins job name matching