Rename the wiki pages to have more suitable filenames

These filenames will be used in the URLs. Therefore, long names and
special characters are undesirable.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho