Upload only git diff

A finer grained upload is proposed. We use git to tell us what are the diff between the remote version and de local one: The remote version is pulled in the SYNC_BRANCH branch and a merge in MASTER is attempted. After the conflicts are treated git compares the two branches and we upload waht is necessary.