Reintroduce specific archs.ml/archs.mli for litmus/herd/gen
Note: tools/ is still pending
litmus: Oups forgot to re-add archs.ml/archs.mli in litmus