Pass --disable-install-doc configure option by default, allow others

We use the --disable-install-doc option when installing this on servers, it speeds up compile time and we usually don't need the docs on a server machine anyway. This allows you to specify other configure opts as well.