A simple darcs patch checker and deployer