Update basic prot-prot server tuto#773

AnnaKravchenko wants to merge 4 commits intomasterhaddocking/haddocking.github.io:masterfrom

prot-prot-serverhaddocking/haddocking.github.io:prot-prot-serverCopy head branch name to clipboard