scons: got rid of sphinx Makefile; directly call sphinx-build