[SMTCOMP] HTP website

[Kenneth Roe]

I have created a website that contains information on HTP including recent 
results on many
of the SMTLIB problems, papers and talks, and a downloadable executable.  
The website is
located at www.fordocsys.com or www.fordocsys.com/htp.htm.  One item that 
might be of
interest to the other developers is the preprocessing mode for HTP.  It 
simplifies SMTLIB problems
and then prints them out in SMTLIB format.  This will likely be a useful 
source for additional test
cases.  I might donate some of the preprocessor outputs to the competition.

                  - Ken