Investigate if we can remove dev-tool.project #3306
Description
We have a dev-tool.project file for managing developer tools (Ormolu, Stan, Hlint).
HLS brings all of these tools with it, so ideally we'd just use its versions and ensure that everyone uses the same version of HLS.
The only problem is CI and bulk use (e.g., ./run ormolu:format). We're not sure whether we can easily triggerr the same tool versions HLS uses outside of the editor. If not, we'll probably have to keep this file.
Even if we keep the file, we should reconsider what we need (perhaps nothing except Ormolu).
Context: #3287 (comment)