Annotation: better config parsing to avoid useless warnings

Signed-off-by: Luca Bruno <lucab@debian.org>
Added getID method to LuaS2EExecutionState so that the state ID can be read from lua
Added range constraint support for register symbolic values in lua

Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>
Added missing getDouble method to ConfigFile

Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>
Allow concolic injection in Annotations API

Change writeRegisterSymb and writeMemorySymb signature to allow injection
of concolic values, by retaining original register/memory content.

Signed-off-by: Luca Bruno <lucab@debian.org>
Document concolic injection via annotations

Signed-off-by: Luca Bruno <lucab@debian.org>