ANSI Common Lisp standard (dpANS) to docbook