Rename documentation files to remove redundant prefixes (#589)#752

praaatap wants to merge 1 commit intoprecice:masterprecice/precice.github.io:masterfrom

praaatap:feature/issue-589-rename-filespraaatap/precice.github.io:feature/issue-589-rename-filesCopy head branch name to clipboard