[bitcoin] Merged PR from Sjors (@8685ebef…58f8faf8): mining: rename gbt_force and gbt_force_name https://github.com/bitcoin/bitcoin/pull/32386