Merge of dnethack onto the nethack.alt.org sources.