Add ∗-∗ as notation in stdpp_scope similar to -∗.

2 jobs for !764 with robbert/bi_wand_notation in 7 minutes and 58 seconds (queued for 7 seconds)
latest merge request