Additions and Changes for Cider-CI Version 3.13 "Frisco"

Frisco is a nickname for San Francisco, California. The city where GitHub's headquarters are located.

Features and Fixes

• Users can sign in via GitHub OAuth.
• Implement session_expiration and disabled accounts.
• Streamline workspace filters and introduce quick-links.
• Set timeout for SQL statements in the UI and add some UX around it.
• Remove "Home" link from breadcrumbs.