Build speed - parallelise Java build and docs build

[holly-cummins]

We should be able to do the Java build in parallel with the docs build. We would not want to publish unless the Java code builds cleanly, but we can start generating the docs before the generation is finished. That will help our ability to make quick changes in workshops.