docs: drop MariaDB, pin MySQL minimum to 8.0.13#161

dimitri-yatsenko merged 1 commit intomaindatajoint/datajoint-docs:mainfrom

docs/mysql-version-and-mariadb-removaldatajoint/datajoint-docs:docs/mysql-version-and-mariadb-removalCopy head branch name to clipboard