Forgot to add new ui.js file in previous commit. Streambed.js will eventually be eliminated and all top-level ui javascript should go in this file.