[bitcoin/bitcoin] Scripts and tools: gitian-build.py improvements and corrections (#13998)

@hebasto pushed 1 commit.

1812b87 fixed style