build: enable Modelsim on the Mac
build: remove old stuff
Instruction for compatility with models other than s3e500
Merge pull request #25 from ebraminio/master

Instruction for compatility with models other than s3e500
wcet: support synchronized blocks if monitorexit is implemented in Java
Merge remote-tracking branch 'upstream/master'