Introduce script coding standards

[gilles-peskine-arm]

Proposed coding standards for scripts.

This mostly documents established practice, and adds a few emergent but not necessarily consensual guidelines for Python code.

I haven't bothered writing coding standards for sh and Perl because we don't use them for new scripts.

[minosgalanakis]

LGTM