Further refinement of DoExec. Now checks that the magic numbrs in the
executable and reports ENOEXEC if they are not right. Eventually this
will be used to distinguish ELF format from flat binaries.