Version 3.0.1

• [docs] A bunch of fixes and improvements regarding the documentation, including major changes to its structure, layout and styling.

• [setup] do_setup.py: regarding the default value of the option --additional-packages under Python 3, the version of the mkdocs package has been pinned (1.2.3), and the mkdocs-material package (providing the material docs theme) has been added (and its version is also pinned: 8.0.3); regarding the same under Python 2, the mkdocs package has been removed.