Update navigation.js to allow regex based search in quick filter (javascript side)

allow regex based search in quick filter (javascript side) (based on feature request here: http://sourceforge.net/p/phpmyadmin/feature-requests/1463/)

I will work on the server side regex based results as another pull request.