Updated Jenkins build scripts to also build docs.