Copying a demo.

@dm

 : Type @dm xxx to copy all files from auto/07p/demos/xxx to the current user directory. Here xxx denotes a demo name; e.g., abc. Note that the @dm command also copies a Makefile to the current user directory. To avoid the overwriting of existing files, always run demos in a clean work directory.