Purge cache and distclean options

The purge cache removes all source remnants, so there is more space
available on disk.

The distclean remove the entire cache tree. Currently, this is
implemented as an execlp to a shell script which in turn calls rm -rf
<PATCH_PATH>. This means that this functionally isn't very much of an
addition, but later versions might do things differently.