Improve dotfiles and add INSTALL script