DRMAA executor should kill jobs if their result is no longer required

[fschopp]

Using Session#control(String, int), the DRMAA executor should kill jobs if the cancellation future passed to SimpleModuleExecutor#submit(RuntimeStateProvider, Future) is completed.

Note that the API documentation states that appropriate synchronization is required.