Merge doc changes to dev main (#237)

* documenting the build tool support

* replacing task with tasks

* incorporating editorial comments

---------

Co-authored-by: Nikhil Bhoski <[email protected]>
Co-authored-by: “mw-hrastega” <[email protected]>
Co-authored-by: mw-hrastega <[email protected]>

Author: 3 people