fix search bar sensitiveness

This a proposal to fixe #123 (closed)

I updated the function highlight_nodes in polaris.js to make it case insensitive (like the search/action bar). I propose to see later if we will need another option for that (meaning like @redsharpbyte proposed, having Crtl + Shift + Enter for case insensitive and the regular Ctrl + Enter for case sensitive).