tools: reintroduce archs.ml/archs.mli in tools and revert changes