Logged In: YES 
user_id=1038590

5th version of patch attached

- restricts option to top-level modules only. The correct
semantics for a module inside a package just aren't clear
enough at this stage. Support for dotted names can be added
later if this patch gets accepted, and it still seems like a
good idea.

- adds a missing check from main.c (if we got the module
option, don't try to open the file).