update von build.xml und .gitignore