To help with performing validation on SBOL extensions, is it possible to add a new shacl file to the validator?