added 'make docs' target, that updates the doxygen documentation