Jimple serialisation @caughtexceptionref

[swissiety]

almost everything is quite verbose in a jimple file: i guess then we should print (and parse) the exceptiontype in @caughtexceptionref, too

[kadirayk]

for easier reading of serialized jimple (we still have the labels and trap info)