Add Raspbian to the list of supported OSes