Full-text search (Formulae + Keywords) in OpenDreamKit

Summary
Full-text search (Formulae + Keywords) in OpenDreamKit