Concerning #308: made tools.structure pickleable
automatic casadibot merge