SBSAT THANKS file

SBSAT has originally been written by Dr. Michal Kouril and Sean Weaver. Many
people further contributed to SBSAT by reporting problems, suggesting
various improvements or submitting actual code. Here is a list of these
people. Help me keep it complete and exempt of errors.

Anne Cross
Michael Dransfield
Dr. John Franco
Marijn Heule
Jeremy Lavergne
Robert Price
Dr. John Schlipf
W. Mark Vanfleet
George Anderson Vogel III
Dr. Jeffrey Ward
Sarah Weissman
Weiya Yue
Jared Ziegler
