Add slimmed build.xml for running on private Jenkins Server