[tor-dev] Renaming arm

[Damian Johnson]

> Did some searching this morning and found another I like almost just
> as well, and might be more fitting: Erebus.

Actually, I'm warming up to Nyx too, which has the advantage of being
shorter. Surprisingly it too doesn't have much in terms of conflicts
(mostly just cosmetics and gaming).

Both Nyx and Erebus might make really good names. Curious to hear how
the community feels about these.

Cheers! -Damian