unnecessary mutex lock removed
Update README.md
cleanup of Travis CI config file
report test duration on the same line for IDE reporter
trigger Travis CI build
add new `reporter_dot_progress`
decomposer enhancements

- changed decomposer to use `operator <=` instead of `operator ->*`
- added simple unit tests for the decomposer
trigger another travis build
simplified cmake file to use `find_package(Threads)` instead of `pthread` queries
pthread stuff: enable "C" as an enabled language to cmake file
next pthread fix
more cmake changes
pthread ...