allow kr_execution to use interruptable actions.
Merge pull request #11 from utexas-bwi/piyushk/interruptable_actions

allow kr_execution to use interruptable actions.