Add more information about angelic values in NopolResult

[surli]

It should be interesting to have information about angelic values like:

• Location
• Type (conditionnal or statement)
• Map of value per test

[monperrus]

closer per 38d4884 only in SMT mode (not in Dynamoth)

[surli]

(not in Dynamoth)

But Repairnator is using Dynamoth so we should add it to dynamoth too...

[monperrus]

or we can do a pilot experiment with SMT instead of Dynamoth in Repairnator (@tdurieux don't take it personally, it's just to see what it would give :-)