+ * new function SD_dotload(char*) to load a DAG described in dot
+ format. This loader and the corresponding examples require the
+ installation of the graphviz library.
+
+ SIMIX
+ * Change the underlying waiting queue in semaphores so that a process
+ can wait on several of them simultaneously (as in waitany).
+ * Fix the way to handle tokens in semaphores so that all access patterns
+ work: {acquire, acquire_timeout, waitany} / {release, release_forever}.
+