Add Google programmable site search

[peterebden]

I've twiddled this a bit to (mostly) match our colour scheme. The search box background isn't directly customisable so I've left it as is; it's possible to hack with CSS but needs a bit of care to not look naff.

Resolves #3192