Update version information for defface.  Add esup-run-as-batch-p.
Make --batch optional.
Fontify timing information.
Remove unused code.