My settings and scripts for the herbstluft windows manager