case-insensitive filtering

```
if (option.text.substring(0, query.length).toLowerCase() == query.toLowerCase()) options.push(option);
```
Signed-off-by: Mathieu Doyon <mathieu.doyon@studiofrenetic.com>