Fix jac1d by adding laik_finish_world_resize

We require malleable code to explicitly tell LAIK when we are
done transfering data between old and new processes to be able
to free the resources and enable process to terminate.
That is, after calling laik_finish_world_resize, the application
cannot access the old group any longer, as it does not longer
exist.

examples/jac1d.c

@@ -144,6 +144,8 @@ int main(int argc, char* argv[])
                                    LAIK_DF_None, LAIK_RO_None);
         laik_free_partitioning(pWriteOld);
         laik_free_partitioning(pReadOld);
+
+        laik_finish_world_resize(inst);
     }
     laik_partitioning_set_name(pWrite, "pWrite");
     laik_partitioning_set_name(pRead, "pRead");
@@ -287,6 +289,8 @@ int main(int argc, char* argv[])
                 pWrite = pWriteNew;
                 pRead = pReadNew;
 
+                laik_finish_world_resize(inst);
+
                 // exit if we got removed from world
                 if (laik_myid(world) < 0) {
                     laik_finalize(inst);

include/laik/core.h

@@ -84,7 +84,7 @@ Laik_Group* laik_world(Laik_Instance* i);
 /**
  * Notify LAIK that the application will not use the given group any longer.
  * This allows to free group resources if no process and neither LAIK internally
- * needs the group anymore (all LAIK objects depending on the group are removed)
+ * needs the group anymore (all LAIK objects depending on the group are removed).
  */
 void laik_release_group(Laik_Group* g);