Note explaining how to increase docker memory allocation

Added note explaining that it may be necessary to change the memory allocation for the docker container for compilation purposes

approved this merge request

mentioned in commit d9f314f9

merged