Request to add wip/vatomic into pkgsrc

[Diogo <db7%SDF.ORG@localhost>]

Hi all,

here is another package I'd like to suggest adding to pkgsrc: wip/vatomic v2.3.1.

I'm one of the developers of the package, so I plan to keep the package clean and
tiny in the forseeable future.

The library is a header only library. It also installs CMake config files to
easily include it to other projects.  Please guide me regarding the processe to
get the package in pkgsrc.

Here is the package description:

# VSync atomics - formally-verified atomic operations library

vatomic is a header library of *atomics operations*, supporting mainstream
architectures: ARMv7, ARMv8 (AArch32 and AArch64), RISC-V, and x86_64. The
memory ordering guarantees provided by the atomic interface are formally
described in the VSync Memory Model (VMM) file (vmm.cat).

Users can use the vmm.cat file to verify the correctness of their algorithms
with a model checker that supports .cat files.

The atomics implementations are being gradually verified to comply with VMM. At
the moment, we have completed the verification of ARMv8 64-bits with and
without LSE instructions.

Thank you.

Best,
-Diogo