Change the extension of the documentation files from .txt to .md so that they can processed as markdown and displayed in github.

(being respectful with occurences that might change the behaviour, i.e. default database prefixes)