GMail scripts to ease archiving messages from GMail.  To be used with GmVault.org.