Merge develop into master#38

TobiKattmann merged 3 commits intomastersu2code/su2code.github.io:masterfrom

developsu2code/su2code.github.io:developCopy head branch name to clipboard