Update to latest webgme-domain-tools.