Metanorma-CLI single executable binary

Command-line tools for building Metanorma sources, packed into a single binary with versions for three major operating systems.

This is a work-in-progress addressing the challenge of ensuring painless usage of Metanorma on wider variety of systems with minimal preliminary setup.