Align the size-column in the dired printout

Because we are piping`grep` to `xargs` it gets the input all chunked and so the size-columns are not aligned properly. This produces very ugly output if the -h flag is turned on (but even without it).

This patch modifies the process filter to pad the size column to 12 places (this in practice should suffice for all reasonable file sizes).