add sphinxcontrib-phpdomain in Travis config