MINIBIAN: MINImal raspBIAN image for Raspberry Pi