Decision: name change fedeproxy→forgefriends

[dachary]

Project name change revisited

Since there is consensus after three weeks, the name change is decided