Fluxbox: new package (1.3.5)

Fluxbox is a lightweight window manager.
Done!