Revert "Removed ui.js includ from footer (not currently in use)"

I think I had intended to remove the ease.js include (see last commit), not
this one---this is still used by the manual.

This reverts commit f532509ae2d728c0a3f58c048d70a84083550c78.

Conflicts:

	includes/footer.html