Modified build to include documentation in the war file that is generated as
part of the build, if the 'documentation' target has been run before the
war target. This is not done automatically because its not clear if all
people will have the proper sphinx environment set up to build the
documentation (as well as make).