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. Currently, only simple information can be accessed but functionalities will be improved along with the number of batch systems DIET is able to address.

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