Fix GitHub workflows

[Neopallium]

CI pipeline changes.

• Fix building of docs.
• Require that Cargo.lock is up to date when building.
• Add checks for runtime spec versions (the runtime must have the same spec) and crate version (must match spec version).

[codecov[bot]]

Codecov Report

Merging #1416 (2705002) into develop (c013ae6) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop    #1416   +/-   ##
========================================
  Coverage    54.07%   54.07%           
========================================
  Files          146      146           
  Lines        31810    31810           
========================================
  Hits         17202    17202           
  Misses       14608    14608           

see 2 files with indirect coverage changes