Remove symlinks in doc

Symlinks are removed, and original files are renamed to the symlinks.

Added benefit is that the doc files can be viewed formatted directly on github now.