docs: Use `sudo tee` for apt pinning.

Use sudo when configuring apt pinning so the user doesn't have to switch so the root for that one command.