add mini-dinstall.log to gitignore