Add requirement of docstrip LaTeX package