remove deprecated qtgui things
Installation scripts fixed
forgotten file
Fixed compilation of prop_test
README fixed
Crash fixed
Compilation fixed