Now tag can be shown in the URL, most of features work now
Fix several bugs
fix a bug that sidebar can select to the file when tag is switched
Fix a bug about no tags in newly created project
Now tag-adding can work
Now we also check the uniqueness of the new tag