Add missing options to PTA documentation

[Michael1015198808]

Add handle-invokedynamic into the documentation of PTA.

[github-actions]

All contributors have signed the CLA ✍️ ✅
_{Posted by the CLA Assistant Lite bot.}

[Michael1015198808]

I have read the CLA Document and I hereby sign the CLA

[zhangt2333]

Thank you for your PR, which helps improve the consistency and overall quality of the Tai-e documentation.

I'm inclined to merge this PR, however I notice that besides handle-invokedynamic, it still lacks descriptions for other parameters, such as propagate-types, taint-config-providers, taint-interactive-mode. Would you be interested in adding descriptions for the other parameters?

[Michael1015198808]

I also checked for other missing options. However, they are not very straightforward to me 😢. Since I am new to this framework, I don't think I can describe them correctly 😢.
BTW, dump-yaml is also missing and I've added it, hope my description is formal enough! 😃

[zhangt2333]

Welcome to be the Tai-e contributor~