doc: Fix typo in previous Coverity workflow doc commit.

[aceelindem]

Previous commit contained typo repeated in two places where "scan-file" was
used instead of "scan-build". I discovered this error when following my own
instructions.

[NetDEF-CI]

Continuous Integration Result: FAILED

Continuous Integration Result: FAILED

See below for issues.
CI System Testrun URL: https://ci1.netdef.org/browse/FRR-PULLREQ2-12443/

This is a comment from an automated CI system.
For questions and feedback in regards to this CI system, please feel free to email
Martin Winter - mwinter (at) opensourcerouting.org.

Get source / Pull Request: Successful

Building Stage: Successful

Basic Tests: Failed

Topotests Ubuntu 18.04 amd64 part 9: Failed (click for details)

Topology Test Results are at https://ci1.netdef.org/browse/FRR-PULLREQ2-TOPO9U18AMD64-12443/test

Topology Tests failed for Topotests Ubuntu 18.04 amd64 part 9
see full log at https://ci1.netdef.org/browse/FRR-PULLREQ2-12443/artifact/TOPO9U18AMD64/TopotestLogs/log_topotests.txt
Topotests Ubuntu 18.04 amd64 part 9: Unknown Log
URL: https://ci1.netdef.org/browse/FRR-PULLREQ2-12443/artifact/TOPO9U18AMD64/TopotestDetails/

Successful on other platforms/tests

• Topotests Ubuntu 18.04 i386 part 9
• Topotests debian 10 amd64 part 2
• Topotests Ubuntu 18.04 amd64 part 8
• Topotests debian 10 amd64 part 7
• Topotests Ubuntu 18.04 arm8 part 0
• Static analyzer (clang)
• Addresssanitizer topotests part 8
• Ubuntu 18.04 deb pkg check
• Ubuntu 20.04 deb pkg check
• Addresssanitizer topotests part 6
• Debian 10 deb pkg check
• Topotests debian 10 amd64 part 1
• Topotests Ubuntu 18.04 amd64 part 1
• Topotests Ubuntu 18.04 arm8 part 6
• Topotests debian 10 amd64 part 6
• Topotests Ubuntu 18.04 arm8 part 1
• Topotests debian 10 amd64 part 3
• Topotests Ubuntu 18.04 amd64 part 6
• Addresssanitizer topotests part 0
• Topotests debian 10 amd64 part 4
• Debian 9 deb pkg check
• Addresssanitizer topotests part 4
• Addresssanitizer topotests part 1
• Topotests Ubuntu 18.04 arm8 part 3
• Topotests Ubuntu 18.04 i386 part 4
• Topotests Ubuntu 18.04 arm8 part 7
• Addresssanitizer topotests part 9
• Topotests Ubuntu 18.04 amd64 part 3
• Topotests Ubuntu 18.04 i386 part 2
• Topotests debian 10 amd64 part 5
• Topotests debian 10 amd64 part 0
• Topotests Ubuntu 18.04 arm8 part 2
• Topotests Ubuntu 18.04 i386 part 6
• Topotests Ubuntu 18.04 arm8 part 8
• Addresssanitizer topotests part 7
• Topotests Ubuntu 18.04 amd64 part 5
• Topotests Ubuntu 18.04 i386 part 7
• Topotests Ubuntu 18.04 i386 part 1
• Addresssanitizer topotests part 5
• Topotests Ubuntu 18.04 i386 part 3
• Topotests Ubuntu 18.04 amd64 part 2
• Topotests Ubuntu 18.04 amd64 part 0
• Topotests Ubuntu 18.04 amd64 part 7
• Topotests Ubuntu 18.04 i386 part 8
• Addresssanitizer topotests part 3
• Topotests debian 10 amd64 part 8
• Topotests Ubuntu 18.04 i386 part 0
• Topotests Ubuntu 18.04 i386 part 5
• Topotests debian 10 amd64 part 9
• Addresssanitizer topotests part 2
• Topotests Ubuntu 18.04 arm8 part 9
• CentOS 7 rpm pkg check
• Topotests Ubuntu 18.04 amd64 part 4

[NetDEF-CI]

Continuous Integration Result: SUCCESSFUL

Congratulations, this patch passed basic tests

Tested-by: NetDEF / OpenSourceRouting.org CI System

CI System Testrun URL: https://ci1.netdef.org/browse/FRR-PULLREQ2-12443/

This is a comment from an automated CI system.
For questions and feedback in regards to this CI system, please feel free to email
Martin Winter - mwinter (at) opensourcerouting.org.