removed unused typedefs
removed unused typedefs
fixed issue in ubuntu 13.10 with tests (pthreads)
added a dependency on threads (for testing with gtest)
bugfix in printing floats/doubles in the source code when they can also be represented as integers (a '.' is present after the number for such cases)
bugfix in adding operations pointed by alias operations to the operation queue
changed absolute epsilon in the cstr test due to test values change in CppADCGPatternTest
minor change in the model of a test
renamed some variables
performance improvements in equation pattern detection
new test with a distillation column