Report the size of the Parsec binaries

[hug-dev]

Parsec is compiled in the CI, in release mode, with a range of different features. It would be nice to report the binary size for them somewhere.

The CI could for example store the size of the binary (ls -lh target/release/parsec) in a specific file on CI and echo that file at the end of the script or in a new GA workflow step.
An advanced feature would be for the CI to comment on the PR the size of the binaries.