Fix overlay popup

- Use latest version of jquery.tools
- Clean up (whitespace, JSLint)
- Use "stretch" mode for mask (anchor to left, top, right, bottom, instead of continuously recalculating viewport so that we can set width and height)
- Use custom fade-in and fade-out animations that are compatible with `jquery.animate-enhanced.js` 1.08 when used with `jquery` 1.11
- One less component that needs `jquery.migrate.js` (a.k.a. `$.browser`)

@turnertime @davidb-pandell @jgoz @101100 please review.