Use platform specific default paths in build.xml.

This makes life a little easier for people using “ant jar.runlarge” and
only affects the “addeservers.dir” and “userpath.dir” properties.

See Inquiry 1870’s Request 1 for details about which paths are used as
well as how to use customized paths.

[1870]