replaces DocBook with Sphinx in debian dep (TSUN-281)