My dotfiles in literate programming fashion