DBtk: A Toolkit for Directed Bigraphs