Generate the "depends-on" field of an entry by parsing ROOT and .thy files --HG-- branch : depends-on