Raspberry Pi tinkerers have a new tool from Google that helps make use of the device as a private web development environment.