Search for an exercise by name

When adding an exercise to a session, it would sometimes be useful to search by name (e.g. enter “push” to find push-ups) rather than cycle through the menus.