Added more info into the echidna FAQ as well as minor fixes#137

montyly merged 1 commit intomastercrytic/building-secure-contracts:masterfrom

updated-echidna-faqcrytic/building-secure-contracts:updated-echidna-faqCopy head branch name to clipboard