Add a filter textbox

This adds a textbox that filters projects by their name, which is incredibly useful when a lot of projects are installed. I'd like this to be real-time, but it seems like it's not that performant, mainly because of `dataSource.removeAll()` it seems as `Timer.measure()` indicates? Not sure if I could be using better logic when it comes to updating the listview. This should probably run in a separate thread as well. For now I implemented a little hack with timers that prevents the filter update from running every time there's a new input.

I got rid of the filter functionality of `listLocalProjects()`. It worked fine, but it was too slow to be usable for this.

![](http://i.imgur.com/M2INfR7.png)

As you can see, the positioning isn't great yet either. Is there any simple way to ignore the textbox for the positioning of the next element(s)? There's no need to offset the listview in this case, it just adds whitespace.

Btw, what's the rationale behind disabling vsync and antialiasing in `<window />`? I got rid of that, and things seem to look better.