BUGFIX: CMake documentation generation bugfix
- Products of the custom command to generate documentation were not properly listed
- Now, make clean will clean the documentation directory without use of `set_directory_properties()`
- ROBODoc outputs dynamically computed at CMake configuration time. Fixes #17
- Change in ROBODoc Headers or new source files will no longers require manual update of the outputs