python script to easily switch audio sinks/sources with rofi script originally taken from some github user
