Search lessons

The search index is built by npm run build, so search isn't available in astro dev.