Front-end for DONJON & DRAGON codes.