nodos binary tools

These binaries are required for nodos, for the first time build execution, or some binaries which are not compiled from source code.