Merge branch '41-2-names-of-the-nrm-binaries' into 'master'

Resolve "Names of the NRM binaries"

Closes #41

See merge request !83
20 jobs for 51-traceback-on-application-exit in 30 minutes and 10 seconds