Removed build.xml from .gitignore for Jenkins CI