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).
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).