settings and scripts for herbstluftwm