Port console.sol from Hardhat to EDR

[fvictorio]

Some things are TBD, but my guess is that this means:

• Doing the formatting on the EDR side. This in turn means that the API changes so that the host only receives an array of strings (or array of arrays of strings, if we want to be transparent about the parameters to the log calls; I'm not sure, but I suspect that it should just be a plain array of strings).
• Generating the console.sol file
  • Unclear how Hardhat will in turn "re-export" this file, but seems solvable.

It's also unclear if we'll release this as part of Hardhat v2, because it's technically impossible to do without breaking changes given that the current definition of the behavior is "use Node.js's util.format".