Slightly more consistent naming of scripts

At least within a directory, consistently use either dashes or underscores
as a word separators.
gerrit-push-for: Also strip the user name from the topic name