Better OpenCL Cleanups

This patch adds OpenCL memory cleanups at the end of the execution.

It also fixes a div-by-zero bug in  src/specfem3D/prepare_timerun.f90, caused by the OpenCL backend not able to provide memory usage information.