Added doc subdirectory
Merge pull request #1 from luca-heltai/master

Added doc subdirectory. Should be a null op after adding those before