updated rwth server to a new url (ip based); the old throw a lot of http
404 errors
hopefully it makes it less memory consuming
enforces strictness in writing lists into channel and merging two monad
RingNode states
some strictness and cosmetic changes applied