Doxy creates no random directory

NOTE: doxy will clean the output directory now if it already exists
Added the reference about hub (http://hub.github.com)
Make doxygen dig into the new coeff.ring and related #ifdefs (SINGULAR_4_1)