added javasphinx and sphinxcontrib-hhtpdomain to build scripts