Run pip installs separately (#591)
Run pip installs separately (#591)

Helps with dependency resolution, since installing packages in a single
pip command sometimes ends up in an inconsistent state.
MichaelHatherly/Lapidary.jl,mortenpi/Documenter.jl,JuliaDocs/Documenter.jl