make: Convert variables to ant properties
make: Use SPHINXOPTS rather than SPHINX_OPTS
build: Pass through JENKINS_JOB
Merge pull request #772 from rleigh-dundee/make-props

make: Convert variables to ant properties