SIMGRID

Remove cast (void*)size (especially in surf/workstation.c and surf/storage.c) and change print format of sg_storage_size_t to PRIu64 in teshsuite/msg/storage and example/msg/io

Notes:

(15:24:54) Frederic SUTER: (15:20:59) agier: frs69wq: (void*)size, ça ne peut plus fonctionner avec des size en 64bits et des void* en 32bits (c'est d'ailleurs surprenant que marion n'a pas encore râlé pour ça...)
(15:22:00) agier: je pense que le plus propre est de faire quelque chose comme sg_storage_size_t psize = xbt_new(sg_storage_size_t, 1); *psize = size; xbt_dict_set(..., psize);
(15:25:39) Pierre VEYRE: hum
(15:26:28) Pierre VEYRE: ok je vais corriger ça ...
(15:26:33) Frederic SUTER: (15:24:11) agier: en gros, il faut arrêter d'abuser des cast pour ranger un entier dans un pointeur, et faire les choses proprement en passant l'adresse d'un entier correctement alloué si besoin
(15:27:04) Frederic SUTER: marion ralait sur les void et les unions qui foutent la merde dans le modèle checking
(15:27:11) Frederic SUTER: du coup j'en ai profité
(15:27:23) Frederic SUTER: 15:26:46) agier: btw, avec sg_storage_size_t, ce n'est plus %zu qu'il faut utiliser dans printf, mais PRIu64 (cf. mon commit de l'autre jour)
(15:27:04) agier: il doit rester les exemples file et storage à rectifier