Rename target for test coverage analysis to test_coverage.
Expand description of SML in readme.
Fix errors with coverage variable in Travis script.
Remove Coverity from Travis script to see if it solves missing config problem.
Add Coverity stuff back in Travis script and remove Clang build to try and solve issues with building coverage analysis conditionally only for GCC.
Switch Travis back to cpp-coveralls.
Simplify setup of coverage analysis a la https://github.com/rbast/gtest-demo
Update CMake variable names throughout project.
Remove unused sections in main CMakeLists.txt and update options list in readme. Update Travis script to run Coveralls when BUILD_TYPE is Debug.
Add missing ExternalProject include in CMakeLists.txt.
Fix problem with test/ being ignored.
Fix error in BUILD_TYPE check to run Coveralls in Travis script.
Update Travis script to run Coveralls only on Debug and GCC.
Rename Doxygen target docs to doc [ci skip].
Fix missing square brackets in if-statement in Travis script.
Try another fix for compound-if statement in Coveralls call.
Add Coverity back into Travis script.
Add missing then in if-statement in Travis script.
Add check if on Coverity branch in Travis script.
Fix statement to check COVERITY_SCAN_BRANCH variable in Travis script.