DCL command files and programs for porting NIL to other sites
