fix whitespaces

Many files use mixed (tab/space) indentation and contain redundant whitespaces. I removed trailing whitespaces and changed indentation to the most common pattern in KLEE (two spaces per indentation level). I left out runtime/klee-libc/*.c.