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

Allow regex based search in quick filter (client 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.