Elaborate on where input files come from

This PR elaborates on where the different files of the annotated proof come from. I initially found this confusing because it links to using `cpu_air_prover`, which can produce similar output using `--generate_annotations` (which inconsistently works with `stark_evm_adapter`'s regex parsing :fearful:). The change tries to clear up that confusion by being more verbose about the files.