make html documentation only on demand - fixes installation error without docutils