Add infra.tools to the dependencies to fix incomplete build paths in some plugins

Some plugins failed to build due to the following missing dependency : org.eclipse.papyrus.infra.tools