Add some docs for how to build for RPi