bump to nightly-2023-08-17

Stream: batteries

[Kim Morrison]

@Mario Carneiro, if you're able to have a look at the latest bump PR at https://github.com/leanprover/std4/pull/190, there are follow-up bumps to Aesop and then Mathlib that I can do afterwards.