Update to current command-interface library.

This gets us the fix for compiling with HARP and also the
library rename to match the repo name.
Rename deft-dfmc.dylan to tracing.dylan.

We'll have other DFMC functionality in the future and it can go
in separate files.