add script for Jenkins build

Having everything in a script makes it easier to maintain.  Jenkins then
runs the ant commands itself.