Automate deployment for documentation website

[shubhamzanwar]

This would require a github actions workflow that would build the website and deploy to the gh-pages branch every time a commit is pushed to the master branch