CoRI batch

With the help of the CoRI batch collector, a SeD programmer can use some information obtained from the batch system. It is only available if DIET is compiled with the option -DDIET_USE_BATCH set to ON. For the moment, only simple information can be accessed but functionalities will be improved as well as the number of recognizable batch systems.

There is an example on how to use CoRI batch in the
<diet_src>/src/examples/Batch/Cori_cycle_stealing/ directory.