Add build_srcdist script for building the source distribution

This new script can build source distributions.  It is derived from the
script Julien had been using.

tools/build_srcdist:
    As above