Remove unused JGit PushCommand.timeout field - fix findbugs warning

Most push operations should be quick, so a timeout implementation may
not make much sense for a push.