Updates to infect script that can sync changes to all servers or a given list of servers. Also added a way to not push if the git repo version has not changed