Add a link on how to install docker on the Raspberry Pi

The guys at resin.io have put together a procedure to install docker on a raspberry pi (the 25$ ARM platform), running Archlinux. It should be nice to know it directly from here, since it involves additionnal non-trivial steps (like patching the Linux kernel).