guest:init_env: x86_64 compatible printf/scanf fmt

Signed-off-by: Michael Contreras <michael@inetric.com>
CodeSelector: use target_ulong

Signed-off-by: Michael Contreras <michael@inetric.com>
Plugins:FunctionMonitor: use target_ulong

Signed-off-by: Michael Contreras <michael@inetric.com>
ConfigFile: Simplify and fix read/write Parameter

Signed-off-by: Michael Contreras <michael@inetric.com>
S2EExecutionState: fixes for x86_64

Fix:
- bypassFunction stack offsets
- getReturnAddress offsets for 32 bit code segments
- undoCallAndJumpToSymbolic for 32 bit code segments

Signed-off-by: Michael Contreras <michael@inetric.com>