[DIST] fix running `python setup.py bdist` that was failing since the addition of the new b3/docs/user_documentation folder