Merge branch 'master' of https://git.fsmpi.rwth-aachen.de/protokollsystem/proto3

README.md

configproxy.py

models/database.py

server.py

templates/documentation-base.html

templates/documentation-configuration-todomails.html

templates/documentation-configuration-types.html

templates/documentation-configuration.html

templates/documentation-sessionmanagement-plan.html

templates/documentation-sessionmanagement-tracking.html

templates/documentation-sessionmanagement-write.html

templates/documentation-sessionmanagement.html

templates/documentation-syntax-internal.html

templates/documentation-syntax-meta.html

templates/documentation-syntax-tags.html

templates/documentation-syntax-top.html

templates/documentation-syntax.html

templates/documentation.html

templates/index.html