Bug 841998: JS GDB support: Make prettyprinters.lookup_for_objfile cope with non-SpiderMonkey objfiles correctly. r=sfink