"Duplicate" Directories

Background information

tools/ and util/ serve exactly the same purpose as bin/. IMO, their existence only make the top-level directory slower to navigate. (Each of those contain only one tool each.)

Task Outcome

The "owners" of those directories (use git history) should be consulted (unless if core-v-verif maintainers simply would mandate the change). Determine if the two outlier directories could be incorporated into the main one. If yes, then only bin/ should remain, and the other two are moved into there.

Completion Criteria

Only bin/ remains, or we decide that we don't care and keep things as they are.

Additional context

What prompted this ticket is that I was looking for a particular file, but I had to make detours through these directories, which felt like less than optimal use of time. I do not have a strong opinion about this, so an acceptable outcome is simply that we declare "we don't care" and close the ticket. But I do think it is a quality of life thing, and that the top-level directory is important in making first impressions etc, so decluttering could be worth it.