> I doubt very much that Sage has any mechanism for flashing LEDs through the GPIO pins of the Pi

You use the RPi.GPIO module, as follows:

    import RPi.GPIO as GPIO

There's some more information here:

https://code.google.com/p/raspberry-gpio-python/wiki/BasicUs...