AJAX search

This pull request adds an AJAX search functionality.