Plex: Fix memory allocation in DMPlex interfaces

This adresses issue #388 by correcting memory (de)allocation in the DMPlex interface.