Spark fix
Some adhoc fixes that helps merging last version of Why3 to spark. In particular, it changes the behavior of the blocking mode (scheduling/idle_handler) and the shape version used when no shape files are found (standard behavior in spark).
Edited by DAILLER Sylvain