Update to 7.1.0
Release notes: https://puppet.com/docs/puppet/7.5/server/release_notes.html#puppet-server-710
With hat: puppet