DOCS: Setup infrastructure for documentation

[rahulporuri]

This PR

• creates mkdocs docs
• includes material and glightbox addons/extensions to mkdocs in the mkdocs config
• adds the scaffolding for the documentation
• ignores the built docs from the git repo
• adds a github workflow to build and push docs to gh-pages branch

This PR can be merged as-is and the filling out the individual docs pages can happen in a separate PR

[rahulporuri]

@harshtandiya please note that if you want to see github pages docs via this repository, you will have to adjust a few options in the Settings tab - specifically, you will have to navigate to the Pages tab, enable github pages, and choose gh-pages as the branch from where the pages will be served.

happy to jump on a short call to clarify this

[rahulporuri]

not sure why the ci job failed - restarted it to see if it was an intermittent failure

[harshtandiya]

CI failing is my fault, fixing the tests

[harshtandiya]

@rahulporuri just making sure, this branch is supposed to be merged in develop right? are we supposed to create a branch gh-pages ?

[rahulporuri]

@rahulporuri just making sure, this branch is supposed to be merged in develop right?

yes

are we supposed to create a branch gh-pages ?

nope. that should get autocreated.