use shortrevs for build names

the long sha makes the jenkins UI less readable.  For display
purposes, builds should be named with the short revision.