add Leonardo to tools.rst