New: do-elinstall.el, our install script