Fixing Coverity discovered issues.

Clang related workaround and restoring the state of the stream.
Add information about VirtualBox image.
[skip ci]
Initial Fault Tree preprocessing by combining the same type gates.
Further optimization of application of Boolean algebra.

The tree is compacted by joining gates with the same type.
The performance optimization for tree expansion is around 4 times.
Add submission of tests to CDash.
Configure to submit test coverage to CDash.
Add documentation about CDash.
[skip ci]
Fix distribution plotter bug.

The bug was reported by Coverity. The iterator was dereferenced
while it reached the end of the container.
Add return of implicit gates.
CMake configuration for static builds.
More configuration for static builds.
Fixing Readme file.
[skip ci]
Configure coveralls to exclude schema.h file.
Restore ostream state in random_tests.cc
Simple refactoring for switching signs of integers.
Remove inclusion of boost/version.h in random.cc.
Add mailing list into the index page.
Merge branch 'develop' into gh-source

Conflicts:
	.travis.yml
	CMakeLists.txt
	README.rst
	input/speedlog.txt
	src/CMakeLists.txt
	tests/fault_tree_analysis_tests.h
	tests/random_tests.cc
	tests/scram_unit_test_driver.cc.in
Update speedlog and remove redundant input files.
Fix a bug of validation without a fault tree.