Use alternate debian mirror and fix RUN/COPY lines for legibility.