deployment with jenkins, ant and git