update all casks. add dtrt-indent and lua-mode, remove auctex