Merge branch 'master' of https://github.com/hugle/SPA_NAVI into xiangqun
Merge branch 'master' into xiangqun
Merge branch 'master' into xiangqun
Merge branch 'master' into xiangqun
Merge branch 'master' into xiangqun
QueryPreprocessor renamed to QueryValidator
combine call* and call into call. Delete CallT
Include PKBExtractor and namespace PKBExtractor
Merge remote-tracking branch 'origin/xiangqun'