Need to squeeze extra processing power out of your Raspberry Pi? Try one of these lightweight Raspberry Pi operating systems.