Add Windows WSL instructions.

Summary

I think a collection of pitfalls is useful for users that only have access (or are more comfortable) with WSL.

Documentation

Actually a documentation only merge request ;)

Checklist

• Documentation updated, if necessary
• Update version info, if changes are worth mentioning (Develop section in doc/src/version_info.dox, add section if not yet included)