Use Allen nightly build in CI
This was the cause of the recent docs build failures. The build was picking up Allen v1r0 rather than the version built in the nightly.
This was the cause of the recent docs build failures. The build was picking up Allen v1r0 rather than the version built in the nightly.