BUG: setup.py install should run make javascript if necessary,
and proceed with existing .js files if this fails.