1.7.2 dev batch3

Fixes to Gitian build, improved documentation, and changes to the contrib devtools.