added --disable-docs switch to debian/configure in order to shorten compile time on resource constrained platforms