Minor fixes.  Add SMTCOMP 2014 script.