Moving COPYRIGHT into LICENSE file

Related to issue #199

LICENSE

@@ -1,14 +1,13 @@
-/********************************************************************
- * PROGRAM NAME: STP (Simple Theorem Prover)	
- *		
- * AUTHORS: Vijay Ganesh
- *	
- * BEGIN DATE: November, 2005
- ********************************************************************/
-
 The MIT License
 
-Copyright (c) 2008 Vijay Ganesh
+Copyright (c)
+    2005 - 2015 Vijay Ganesh. Main codebase, project lead
+    2010 - 2014 Trevor Hansen
+    2013 - 2015 Ryan Govostes
+    2013 - 2015 Dan Liew
+    2011 - 2013 Khoo Yit Phang
+    2005 - 2015 David L. Dill
+    2009 - 2015 Mate Soos
 
 Permission is hereby granted, free of charge, to any person obtaining
 a copy of this software and associated documentation files (the
@@ -28,3 +27,15 @@ NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
 LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
 OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
 WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+---
+
+Also includes copyrighted software from:
+    * Bit::Vector -- Copyright (c) 1995 - 2004 by Steffen Beyer
+    * CVC's SMT-LIB Parser -- Copyright (C) 2004 by the Board of Trustees
+        of Leland Stanford Junior University and by New York University.
+    * ABC -- Copyright (c) The Regents of the University of California.
+    * Windows msc99hdr -- Copyright (c) 2006-2008 Alexander Chemeris
+        Copyright (c) 2000 Jeroen Ruigrok van der Werven <asmodai@FreeBSD.org>
+
+For licenses of these SW packages, please see LICENSE_COMPONENTS