Doc build of master

[benjamin-lieser]

Do we want to build the documentation with the github pages?

I never really used it, because I build the documentation locally.

If we do not want to keep it, we should remove the link from the Readme, otherwise we should make it work again.

[dhardy]

It appears to work for rand but of course rand_distr is no longer included. I don't think we need it any more to be honest, so no point re-enabling rand_distr.