Genericized digraph library, added "dir" experiments, and "to_cstring" to dynstring.