removed the performance experiments line from README (was from our abstract)
Added a complex number example ported from the DbC examples in JML
small modifications to complex... someday it will be pythonic