Improved map counter when filtering maps.

The previous CountFiltered function used regex instead of AngularJS's filter function, unlike the actual filterer. This lead to mismatches between the number of actual filtered maps and counter's number. This also fixes some errors that were being spammed in the case of invalid regex expressions being used in the search box.