Add May and July 2013 Derby copy.
Merge pull request #1056 from openjck/derby-copy-2013-05

Add May and July 2013 Derby copy.
fix bug 861996 - Adding YouTube plugin
Merge pull request #1023 from darkwing/youtube-861996

fix bug 861996 - Adding YouTube plugin
Fix bug 676379: UI for quick review.

This adds a couple of utility functions on Revision which can tell if
it needs technical/editorial review, and then in the template for
document display adds, as needed, a block containing a form with
checkboxes for technical/editorial quick review.
fix bug 868103 - Update main menu
Merge pull request #1057 from darkwing/menu-868103

fix bug 868103 - Update main menu
Put arrows in better spot on old menu
Merge pull request #1058 from darkwing/new-menu-update

Put arrows in better spot on old menu
Updates per Ali's request
Merge pull request #1059 from darkwing/menu-update

Updates per Ali's request
fix bug 869301: Build document links in revision feed using document locale, not request locale
Merge pull request #1061 from lmorchard/869301-all-locales-revision-feed

fix bug 869301: Build document links in revision feed using document locale, not request locale
Remove demo arrow, add new doc links
Remove custom smuggler change_list template from demos app.
bug 839214 - add highlight matches to results
Merge pull request #1063 from ubernostrum/disable-smuggler

Remove custom smuggler change_list template from demos app.
Merge pull request #1062 from darkwing/nav-menu-updates

Remove demo arrow, add new doc links
Adding ?menu QS tracking to links
Tidy up docs menu styles