Update navigation.js

allow regex based search in quick filter (javascript side)