Jenkins Scripts for syncing a SVN mirror and keeping a log file up-to-date