Bench system tests

Add a CI job that performs benchmarks on the local binary vs. the latest published version.

Includes some utility functions that make the dependence on standard bundled UNIX tools minimal (e.g. float_cmp function instead of using bc which is not available on Windows mingw64 Git Bash).