Scripts to produce nightly builds of raspberry pi foundation kernel/bootloader packages and raspbian images