Rename the distribution and import package from quench to pyquench so PyPI
upload is not blocked by the unrelated quench project; prefer
`import pyquench as quench`, matching CLASP.Python / pyclasp.