Write ("flash") a Raspberry Pi boot image to an SD card, with power-user features and safety checks (to avoid erasing wrong device)