Ignore serversetup/install_log from GIT