Wombat IDE - A bug fix and a timing function

First, a bug fix in leaf?. It now does what it’s actually supposed to and return #t if and only if the objust is a tree with both subtrees satisfying empty-tree?.

Second, cpu-time has been redefined to only count time spent on actual processing (and not on output / Java wrapper code) while the old functionality has been renamed to the function real-time.

Small and simple, but it’s still worth a new version. 1.306.1.