Directory rename in workdir section

[nikita-nazarov]

Given a file:

workdir: "Dir"
include: "Dir/foo.smk"

Renaming directory Dir to Folder will result in

workdir: "Folder"
include: "Dir/foo.smk"

But the desired result is:

workdir: "Folder"
include: "Folder/foo.smk"

All entries of Dir should be changed to Folder