Add message files to readthedocs documentation

[joachimmetz]

Currently adding the message files will cause the readthedocs build to time out

See

• if documentation build can be made more efficient
• ask for more resources
• other (different platform, build on github, etc.)

Also see: https://docs.readthedocs.io/en/stable/guides/build-using-too-many-resources.html