Removal of TOOLS in metamath-exe

[Sylvain Kerjean]

Hello folks,

I am working on the metamath code source base (i try to get rid of the TODO).

For now i removed the TOOLS part.

Should i submit a PR ? Not sure it will be reviewed or accepted, as it is very big...