add python-dev to rpi build instructions, fixes #2740