Some cosmetic changes in marionnet-daemon.ml, in order to make clearer the dependencies among daemon-related modules ("open" removed). Also minor (?) bug fixed in destroy_all_resources() : the code was not executed in a critical section (due to a misplaced parentheses).