Standardize divider line lengths in the library.

library/*.m:
    As above.

tool/stdlines:
    A new shell script to do the job.