Fixed READMEs in lambda++

@dwightguth please take a quick look and merge.  All these changes were triggered by the recent problem you found with the semantics of callcc in lambda++.  I wonder whether we should not change the config.xml to test all these examples with --transition = computational in kompile and --search in krun (eventually).