dk export: remove root_path prefixes in module names#1396

fblanqui merged 2 commits into

Deducteam:masterDeducteam/lambdapi:masterfrom

fblanqui:dkreqfblanqui/lambdapi:dkreqCopy head branch name to clipboard