Lint: add taplo - https://github.com/tamasfe/taplo

[dannywillems]

Mimicking what we do in o1-labs/proof-systems: https://github.com/o1-labs/proof-systems/blob/master/Makefile#L153

The format target should run taplo, same for check-format.