Add Amarna and Tayt

[coolhill]

Add Amarna static analyzer and Tayt StarkNet smart contract fuzzer by Trail of Bits

Checklist

• [x] The URL is not already present in the list (check with CTRL/CMD+F in the raw markdown file).
• [x] Each description starts with an uppercase character and ends with a period.
  Example: cairo - The Cairo programming language.
• [x] Drop all A / An prefixes at the start of the description.
• [x] Avoid using the word StarkNet in the description.