Rewrite instructions for building
Rename m4-extra/ to cmake/modules/

Since we are not using M4 in our build system, the former name was not fitting.
The new name mirrors the directory structure used by LLVM.
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