chg: improve the error message when the specified module is not found

When using why3extract, if a unknown module file.Mod is specified we get a message that is not very clear

anomaly: Not_found

The proposed patch displays a more explicit message:

unknown module: Mod