Fixes for portability (I think).
Working on a make for both Linux and OS X
Added a simple predicate platform/1 (that I'm using in Prolog makes).
Drafts for Version 3.2
Changed absolute paths to relative paths.
Fixed typo.
fixed small problem in mt compilation
Added cut in thread_send_message.
Finish commit of Rui's change for deadlock bug.
Changed output to indicate that the tests differ on subsumption.
