Clarify README

[Bruno-366]

apart from formatting issues that impact its readability (which I'll gladly help with), it leaves some questions to be answered, for example it states that coq and other formal tools will be used. So far its seems like the project mainly consist of Haskell, coq, and verilog, is there any plan for this to change? or is the idea, that like for example make a lisp nand2tetris is going to be implemented in as many formal tools as possible? :)