Correctly escape file names

Doesn't work yet on the local side because jgit does it wrong
(https://git.eclipse.org/r/#/c/4324/1) but at least this way
it filters on the remote side correctly files which contain
special characters.

Also fixed some comments (e.g. copyright)