Insert dedukti error message

The message is pre-formatted so that dedukti-eval and dedukti-reduce
functions are usable.