refactor(library/data/int,library/algebra): make int an instnance of ordered ring, rename theorems
fix(library/data/nat/div,tests/lean/run/ppbeta): make decidable for dvd transparent, name change in ppbeta