IGV: enhance node search

Currently, the "quick search" box searches on node names by default, unless a certain property is specified (e.g. "id=42" or "line=25"). This is frustrating for new users, who often expect their search to run on the node labels shown in the graph (usually looking for a particular node id). Node labels include by default both node ids and names, but can be configured in Tools -> Options -> General -> Node Text.

Furthermore, the suggested matches are not currently ranked in any meaningful order. They could be ordered according to some measure of similarity.

Currently, partial matches are not shown when searching for a specific property.