new patch DSL, with support for checksums
updated testsuite
warn when a patch doesn't have a checksum
moved some formulas to new patch DSL