testCpp not used on linux
Added several classes into the python wrapper
Added some assertions
Changed the TemporalValue default constructor
Merge branch 'master' of github.com:codistmonk/burdenofproof

Conflicts:
	demos/demo1/CMakeLists.txt