modernize GitHub Actions config somewhat

[SethTisue]

I didn't bring things entirely in line with the other scala/* repos, but I wanted to at least:

• get on Temurin
• get off setup-scala (which doesn't buy us anything we need, over setup-java)
• add JDK 17 to CI.