Added generic functions for future protocol in execution.el
* execution.el (future-done-p): new generic function; check whether
  future is done
  (future-get): new generic function; retrieve result of future
  (future-cancel): new generic function; cancel a running future