each of these is verified: the current sha1 and the new sha256 are both correct for the given download.
New cask: pi-filler, a tool to write SD cards for the raspberry pi project