Fix infinite loop in build system because we don't use SVN anymore!
STP will not compile under Bison 3.0 because a long deprecated feature (YYPARSE_PARAM macro) that the cvc and smt parsers use has been dropped.

This is mentioned at http://savannah.gnu.org/forum/forum.php?forum_id=7663 which says

"
  Support for YYLEX_PARAM and YYPARSE_PARAM is removed (deprecated in Bison
  1.875): use %lex-param, %parse-param, or %param.
"

This commit switches to using %parse-param
Removing Makefiles