Diepvries

Changed
- Correct URLs for the Pypi page.
- Serving of all files in Github pages.

Removed
- Deprecated documentation page `introduction.rst`.
- Bash script to release package (now done through tox).

Added
- Bash script to build and upload Python package.
- Travis pipeline for CI.
- `py.typed` for Mypy.
- CD pipeline for documentation website.
- `README.md`.
- CD pipeline for Pypi artifacts.

Changed
- This Python package is now called `diepvries` (previously `picnic-data-vault`).