Add int MC_random(int min, int max) function that will make the model-checker to...

Add int MC_random(int min, int max) function that will make the model-checker to explore all possible return values of the functions. The possible return values are integers in the range between min and max

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7736 48e7efb5-ca39-0410-a469-dd3cf9ba447f