added documentation.h, which is a file just for Doxygen generation...