Specify dependencies of an imported credential

[mitschabaude]

We should have a way of attaching recursive zkprogram dependencies to a credential spec, that are also compiled when compiling the main program