More cleanup for -namespace option

Add new extension methods to CobraModule for getGlobalNamespace and
getDefaultNamespace.

Also, do not try to resolve members to extension methods.  It's too
unstable at this point.