added case insensitivity in the search algorithm
the search algorithm now also considers programming languages
an empty text field submitted in the search does not cause an error any more. The search still cannot be reset.