Added Crux docs as submodule