raspberry pi bare os with dev essentials and python, build from resin/rpi-raspbian