Allow to not list global members in instance.members

In some evaluations, global members shall not be listed in members
lists. Therefore such a parameter is added to the instance.members
method.
Merge pull request #945 from nidico/feature-skip-global-members

Allow to not list global members in instance.members