build: docs: Use wildcard Make function instead of resorting to shell commands.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: docs: Eliminate pointless (g)sed indirection.

The sed invocation uses nothing that is not part of POSIX.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
Remove all deprecated and broken bits regarding building S2E on Windows.

S2E does not currently build on Windows, so the instructions and scripts
are nothing more than cruft right now.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
docs: Remove no longer required -m32 from compile commands.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
windbg-gdb: Remove unnecessary -m64 from compile commands.

Also clean up some whitespace errors.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
docs: Update all build instructions that force 32-bit guests.

S2E is no longer limited to 32-bit guests.

Signed-off-by: Diego Biurrun <diego@biurrun.de>