Deploy docs to github pages

[mszell]

I think this is missing, as we will need a deployed docs page for each project in the end anyway, so let's just do it once at least. Anastasia let me know if you want to do it as you already worked with sphinx - but I can also look into it.

[mszell]

Ok will look into it.

[mszell]

Ah, in our latest meeting we assigned this to Manuel. Ok, adding you too here, but I can also look into it.