Rollup merge of #56936 - ubsan:euclidean_div_rem, r=dtolnay

rename div_euc -> div_euclid, and mod_euc -> rem_euclid

logic is written up in #49048

Also, update the documentation slightly.

cc @alexcrichton @clarcharr @varkor

Author: kennytm