Rename "known_actors"

[gomezzz]

Feature

Desired Behavior / Functionality

See #75 (comment)

Should rename "known_actors" variable in PASEOS to make clear it does not contain the local actor. E.g. "known_other_actors" ?

What Needs to Be Done

Rename

How Can It Be Tested

N/A

[gomezzz]

@GabrieleMeoni At this point I would no longer change it as it will break a lot of things and we don't really have a better name at hand?

[gomezzz]

(reopen if you disagree)