Documentation and Turing Navigation CI improvement

[shravanngoswamii]

Using Turing Actions for Documentation and global Turing Navigation bar!
Reference: TuringLang/actions#12

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 96.59%. Comparing base (5a36d31) to head (5a32897).
Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #112   +/-   ##
=======================================
  Coverage   96.59%   96.59%           
=======================================
  Files           8        8           
  Lines         411      411           
=======================================
  Hits          397      397           
  Misses         14       14           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[coveralls]

Pull Request Test Coverage Report for Build 13225088702

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 96.594%

---

Totals
Change from base Build 12928546309:	0.0%
Covered Lines:	397
Relevant Lines:	411

---

💛 - Coveralls

[coveralls]

Pull Request Test Coverage Report for Build 13225088702

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 96.594%

---

Totals
Change from base Build 12928546309:	0.0%
Covered Lines:	397
Relevant Lines:	411

---

💛 - Coveralls