Add doclib/doxygen.sh dependency to documentation build
Fix doclib/doxygen.sh shell (bash instead of sh)