Improved invoke-with-timed-update in src/macros.lisp

* src/macros.lisp (invoke-with-timed-update): signal an when not on
  SBCL
  (with-progress-report): perform some compile-time sanity checks;
  extended documentation string
* src/package.lisp (package user-interface.progress): added exported
  symbol update