Bulk save emails from Gmail - the code

Following on from the overview blog post, here I have included the code itself from which the tool is built.