String filters input box

[nfelnlp]

Ad-hoc updates to temp_dataset based on custom inputs to a filter text box and by tracking keystrokes (keyup) work really efficiently, it turns out.

• [x] Input box for string filters (#43)
• [x] Function in flask_app.py for handling string filters of the DataFrame

This filtering only happens in the background, however. It has to be shown in the interface as well

• [x] Ad-hoc update of the entries to show the temp_dataset

• 47

• [x] Add background color to highlight text spans matching the query
• [x] Adapt other prompts (#36)

Nice to have (#19)

• Pagination for more than 10 entries
• Clicking on an icon next to an instance in dataset viewer enters "ID xx" into input box
• Clicking on a "On this subset..." button next to dataset viewer inserts a random "includes" prompt and caches this temp dataset to be used in the backend

[nfelnlp]

[qiaw99]