[#677] Used bootstrap-tagmanager to implement the UI of the issue tagging feature
[#677] Added tags into the search page as a new criterion