Raspberry Pi’s strong first half sends share price up 7%