Update to reflect the new name for this repo and the ProofPower repo