rune/libenclave/pal: update the relationship between rune and the pal_destroy API
rune run subcommand calls the pal_destroy API while rune create and start can't
call the pal_destroy API because they run in the detach mode.
@@ -26,6 +26,7 @@ The PAL API will evolve. You can submit proposal for the extension of PAL API. W
| | pal_init | pal_init |
| | pal_exec | pal_create_process |
| | | pal_exec |
+| | pal_destroy | pal_destroy |
| exec | pal_exec | pal_create_process |
| | | pal_exec |
| delete | pal_destroy | pal_destroy |
