fix jenkins git issue
add logging to file; should make bug reports easier to handle
(it's a bit of a hack, but it works)
remove a couple of debug statements
fix git_version issue without git
fix sodium cloning
Merge branch 'pr593'