add timestamps for traces
single commit push check support

If special variable GIT_SINGLE_COMMIT_PUSH is set, then cvs helper
checks that only a signle commit specified by that variable is pushed,
and fail push otherwise.
don't assume ssh user is always set