Added CMake logic to build ROBODoc documentation

I’ve added a target called ‘documentation’ which can be built with `make documentation`, which is currently also a dependency of the ‘all’ target, that will build the documentation using ROBODoc. I don’t think it makes sense to automate the deployment to gh-pages though, since this is not of interest to end users.