make: Convert variables to ant properties

This should resolve the Jenkins problems.

Testing: Make sure that setting e.g. SPHINX_OPTS as an environment variable or as a make variable results in -Dsphinx.opts=... on the ant command-line.  This should then take effect as usual (ant will then set the environment from the property when running sphinx).