Implemented Ajax-enhanced tagging mechanism.

This is used in problem form and filter.