nethack-nao: Use NAO git repo