pc_piix: disable VM hooks

Allows booting some more guests

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
TbTrace: tracing page faults

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
ExceptionTracer: plugin to trace guest interrupts and exceptions

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
StateSwitchTracer: plugin that records state switch events

Mostly useful for debugging

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: flush TLB ownership before forking

Otherwise, corruption will occur

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
ExecutionTracer: GDB hook to flush the trace manually

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
MemoryTracer: log klee ObjectState in the execution trace

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
exec.c: fixed size of memory access

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
slirp: do not allow to start s2e if it's enabled

slirp causes corruptions and crashes in multi-path mode.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
docs: updated tutorials with the -net none option

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
links in index.rst are rst and MakeFile changes them in .html in the html generated pages