Correction of dist name matching rule
Added basexx
Added lutok
Updated submodules