Now modules to be fetched are recognized properly

Add an option to the ModulePool for building list of all files
that are engaged in a project. This includes files that
are not listed in the manifests but are included in the
verilog sources