add a THANKS file for listing external source code contributors

diff --git a/THANKS b/THANKS
new file mode 100644 (file)
index 0000000..b135fe3
--- /dev/null
+++ b/THANKS
@@ -0,0 +1,3 @@
+Thanks to Peter Collingbourne and his group (the Multicore Programming Group
+at Imperial College London) for developing and submitting some patches in
+September 2012 related to SMT-LIBv2 compliance.