Add license notice in THIRD-PARTY-NOTICES.txt and exclude wabt from copyright/tabs check

THIRD-PARTY-NOTICES.txt

@@ -238,11 +238,19 @@ https://github.com/WebAssembly/spec
 The files in test/WasmSpec/testsuite are licensed as specified in test/WasmSpec/testsuite/LICENSE
 unless otherwise stated in the file
 
+---------------------------------------------------------------------------
+Wabt
+
+URL of the license https://github.com/WebAssembly/wabt/blob/master/LICENSE
+
+The files in lib/wabt are licensed as specified in lib/wabt/LICENSE
+unless otherwise stated in the file
+
 ---------------------------------------------
 
 CRC.h
 
-COPYRIGHT (C) 1986 Gary S. Brown.  You may use this program, or code or tables 
-extracted from it, as desired without restriction. 
+COPYRIGHT (C) 1986 Gary S. Brown.  You may use this program, or code or tables
+extracted from it, as desired without restriction.
 
 

jenkins/check_copyright.sh

@@ -37,6 +37,7 @@ git diff --name-only `git merge-base origin/master HEAD` HEAD |
     grep -v -E '\.cmake$' |
     grep -v -E '\.json$' |
     grep -v -E '\.man$' |
+    grep -v -E 'lib/wabt/.*' |
     grep -v -E 'test/WasmSpec/.*$' |
     grep -v -E 'test/benchmarks/.*\.js$' |
     grep -v -E 'test/benchmarks/.*\.js_c$' |

jenkins/check_tabs.sh

@@ -25,6 +25,7 @@ git diff --name-only `git merge-base origin/master HEAD` HEAD |
     grep -v -E '\.baseline$' |
     grep -v -E '\.wasm$' |
     grep -v -E '\.wast$' |
+    grep -v -E '^lib/wabt' |
     grep -v -E 'bin/External/.*$' |
     xargs -I % sh -c 'echo --- IN FILE % ---; git blame HEAD -- % | grep -P "(\t|--- IN FILE)"' > check_tabs.sh.err