Introduces version pinning via pip-tools for reproducible builds.
Introduces license checking via pip-licenses and CircleCI.
Licenses are only checked for new builds and when requirements.txt changes.
The list of allowed licenses is kept in a separate file to be able to
distinguish changes in CI-Configuration/Tools and license list changes.
