Use the raw disk device for better performance.

Using `/dev/rdisk#` results in faster write performance than `/dev/disk#` as [demonstrated on Raspberry Pi Stack Exchange](http://raspberrypi.stackexchange.com/a/4059).