Utility scripts

Various small scripts and utilities.

script/cvs_support

A few scripts which make using CVS slighty less painful (cvsmv, cvsrm, cvslistbranches, …)

script/print

Print big PDF/PS in small chunks of a few pages. Resolves problems with printer crash/lock on big files.

script/gmail

Scrap addresses from GMail inbox to CSV file (which can, in particular, be imported to the address book).