fix outofdate targetfiles in batfish build.xml
fix outofdate targetfiles in batfish build.xml

batfish/batfish,batfish/batfish,arifogel/batfish,dhalperi/batfish,arifogel/batfish,intentionet/batfish,intentionet/batfish,batfish/batfish,intentionet/batfish,arifogel/batfish,intentionet/batfish,dhalperi/batfish,intentionet/batfish,dhalperi/batfish