Allow one to query a particular patch set

Also fixes default gerrit username to use 'USER' from the environment.