feat: rebranding to AlgoLib

[BasilRohner]

Summary

The project is now called AlgoLib. I updated the imports and comments throughout the project to reflect the new name. While going through the files, I also rewrote a number of docstrings to make them more concise and easier to read.

The overall project layout is now:

.
├── AlgoLib
│   ├── Algorithms
│   │   └── Graph
│   │       ├── Flow/
│   │       ├── MST/
│   │       ├── SCC/
│   │       ├── Search/
│   │       ├── ShortestPath/
│   │       └── Traversal/
│   ├── DataStructures
│   │   ├── BinaryTree/
│   │   ├── SplayTree/
│   │   └── UnionFind/
│   ├── Theory
│   │   └── Graph
│   │       ├── Adjacency.lean
│   │       ├── Basic'.lean
│   │       ├── Basic.lean
│   │       ├── Coloring/
│   │       ├── Connectivity/
│   │       ├── Decidable.lean
│   │       ├── Degree.lean
│   │       ├── Delete.lean
│   │       ├── Embeddings/
│   │       ├── Finite.lean
│   │       ├── Graphs.lean
│   │       ├── Matching/
│   │       ├── Minors/
│   │       ├── Spectral/
│   │       └── Structures/
│   └── Util
│       ├── Decidable.lean
│       └── Finset.lean
├── AlgoLib.lean
├── blueprint/
├── lakefile.toml
├── lake-manifest.json
├── lean-toolchain
├── LICENSE
├── README.md
└── website/

There are now three folders for algorithms, data structures and theory respectively. I think this makes the project structure easier to understand than the previous layout. I also replaced the Jekyll website with a simple static HTML page. The new page is easier to maintain and sufficient. The blueprint is updated to fit the new format.

Build status

The project builds but I needed to change the content of the files in AlgoLib/DataStructures/SplayTree/. Those didn't compile previously which was not reported by the CI/CD checks since the folder was not included in the lakefile.