Two small issues with DeltaSMT

[Alberto Griggio]

Hello all,
finally, I've started using the delta debugger more seriously. First,
thanks again Robert for this, it's really great!
I think I found a minor issue with it: the SMT parser doesn't seem to
support some of the benchmark attributes like :source, :difficulty
and :category, whose argument is enclosed in braces "{}". I've tried
to patch the code, and I'll post the diff to the group (I couldn't
find a way to attach it to the message...)
Also, while investigating about this, I've noticed that the :notes
attribute is spelled ":nodes" in TokenKind.java.

Best,
Alberto

[Robert Brummayer]

Thanks Alberto,

I will have a look at your patch and release a new version as soon as
a possible. Thanks for your feedback and work.

Best,
Robert