Herbstluftwm config: random wallpapers