dNethack Merge

Merged of NAO nethack and dnethack.