fromsvntogit

This was useful for our local migration from svn to git. It mainly assumes the transfer of projects from devel-ik.fzk.de/svn to gitlab.ikp.kit.edu with all history and authorship data.