-Export Tag now saves the timing of tags
-Some library problem fixed in .pro
-AutoTag in-progress-visualization added
-Minor fixes