cleaning up things that belong to svn siminos, but not to this git repo