Support lowering specifics for an imported generic function.

[zygoloid]

When lowering a specific function whose generic was defined in a different file, switch to that other file's FileContext and lower the generic there. Also pass the FileContext corresponding to the specific into the FunctionContext, and use that FileContext for resolving requests for constants and types from the specific.

Depends on #5583.