100x improvement of qc!
Merge pull request #8 from adrian-prantl/master

100x improvement of qc! BACKUP first, results are out of order!
Rewrote reachability screen output to be shared by all modes (and use color options).
Fixed consistency test to take special modes into account.
Fixed csv output to properly report unknown also for incomplete STGs (option --max-transitions).
(CMAKE ROSE) first batch of CompileTests

This commit converts 522 compile tests to run using CTest.
35 of the tests in the C++Code directory are currently failing.
All told, it takes about 2 minutes for all these tests to run
in parallel on hudson-rose-32.
(CMAKE ROSE) more progress on CompileTests

This commit adds the the compile tests from the following
directories:
  C_tests, Cxx_tests, C_subset_of_Cxx_tests, and UPC_tests.

With a couple of exceptions, all of these tests pass.  In order to
get the UPC_tests passing, I had to modify the CMake procedure that
generates the include-staging directory.  This now copies upc.h
and other related header files into the include-staging directory,
matching the behavior of the autoconf build system.
(CMAKE ROSE) add Fortran compile tests

Convert the compile tests in the Fortran_tests directory to run
using CTest.

When enable-fortran option is turned on, CMake now checks whether
or not gfortran was found.  This information is used to properly
define the symbol USE_GFORTRAN_IN_ROSE.  If gfortran is found,
CMake then queries its version, as this information is needed
to know which tests are expected to pass.
There is still some work to do in the subdirectories of Fortran_tests.

Conflicts:
	CMakeLists.txt
(CMAKE ROSE) enable java compile tests

Getting the Java compile tests passing via CTest required a
number of changes.

1.  Define ROSE_SHLIB_VAR to "LD_LIBRARY_PATH", not the contents
of the LD_LIBRARY_PATH environment variable.

2.  Set BACKEND_JAVA_COMPILER properly within rose_config.h

3.  Generate JavaTraversal.h, JavaParser.h, and various .class
files.

4.  Update findRoseSupportPathFromBuild() to search for the
presence of a CMakeCache.txt file when decided whether we're
running from within a build tree or an install tree.  This code
is encapsulated by the USE_CMAKE symbol.

5.  We similarly use the USE_CMAKE symbol to help ROSE find its
own libraries.  The CMake build system puts its libraries in
<build-dir>/lib.  This is a change in behavior from the autoconf
build system.

Conflicts:
	CMakeLists.txt
	src/3rdPartyLibraries/fortran-parser/CMakeLists.txt
	src/3rdPartyLibraries/java-parser/CMakeLists.txt
(CMAKE ROSE) fix failing fortran tests
(CMAKE ROSE) add copyAST tests

The copyAST compile tests now run & pass using CTest.

This commit also fixes a couple failing Cxx compile tests.
(CMAKE ROSE) remove unnecessary link

libroseJava does not need to link to libJavaTraversal
(CMAKE ROSE) LANL POP tests

The LANL_POP Fortran tests are now executed by CTest.
(CMAKE ROSE) initial effort on gfortran.dg

This is a work in progress, tests are currently failing.
Committing now to switch branches.
(ROSE CMAKE) make enable-fortran depend on enable-java

Also change roseChooseBackendCompiler to not assume that a
Fortran compiler will always be available.

Conflicts:
	CMakeLists.txt
(CMAKE ROSE) Fortran CompileTests

Complete the conversion of the Fortran_tests subdirectory of
CompileTests to CTest.
(CMAKE ROSE) convert more CompileTests to CTest

OpenMP, PythonExample, RoseExample, and copyAST
(CMAKE ROSE) convert more CompileTests to ctest

This commit converst the following subdirectories to run via CTest:

colorAST_tests
ElsaTestCases
ExpressionTemplateExample_tests
hiddenTypeAndDeclarationListTests
mergeAST_tests
MicrosoftWindows_tests
nameQualificationAndTypeElaboration_tests
NewEDGInterface_C_tests
OvertureCode
P++Tests
sizeofOperation_tests
sourcePosition_tests
UnparseHeadersTests
unparseToString_tests

Conflicts:
	tests/CompileTests/NewEDGInterface_C_tests/CMakeLists.txt
	tests/CompileTests/UnparseHeadersTests/CMakeLists.txt
(CMAKE ROSE) more compile tests converted to ctest

This commit completes the following subdirectories:
ElsaTestCases
staticCFG_tests
virtualCFG_tests
(CMAKE ROSE) cleanup CompileTests after moving to edg4

These changes allow the CompileTests work to configure, compile,
and link on the edg4 branch.  I have not attempted to actually
run any of the tests on this branch yet.