Go: sync ExternalFlow.qll

[owen-mc]

Update go's copy of ExternalFlow.qll to bring it in line with java and csharp's.

• Add support for neutral models.
• Change the way that the receiver is referred to in models-as-data models. Previously it was Argument[-1]. Now it is Argument[receiver]. (Other languages use different terminology, such as Argument[this].)