more complete correction on the choice of the main definition
checked main def
changed ready_queue_push to ready_queue_add in spawn and added a new example to test the gc
some changes on Backend to avoid manipulation of freed channels
backend refactoring
modified the ackerman test
Merge branch 'dev' of https://github.com/mickael-menu/picc into dev
removed memory leaks on the local chans knownsets
Merge branch 'dev'