Daily package.el update
Added idris-mode