raspinfo NOW DEPRECATED. Now in the Raspberrypi/utils repo. Short script to dump information about the Pi. Use it for annotating bug reports