Finish --dump-instantiations option.  Update scripts.
Minor fixes.  Add SMTCOMP 2014 script.