Change platform name from rpi to brickpi
Change platform name from rpi to brickpi

See @dlech's comment here:
https://github.com/ev3dev/ev3dev-lang/commit/ac9a629ab3cd8f3681e790313571f655316921ad#commitcomment-13857740

dwalton76/ev3dev-lang-python,ensonic/ev3dev-lang-python,rhempel/ev3dev-lang-python,ddemidov/ev3dev-lang-python-1,dwalton76/ev3dev-lang-python,ensonic/ev3dev-lang-python-1