Remove unnecessary loop from SolverTest unit test.
Fix implementation for putchar

According to manual: putchar() return the character written as an
unsigned char cast to an int or EOF on error.

Use return value of write to return the correct value for putchar.
Merge pull request #20 from delcypher/remove_pointless_loop

Remove unnecessary loop from SolverTest unit test.
Merge branch 'fix_runtime_build_mode' of https://github.com/delcypher/klee into delcypher-fix_runtime_build_mode
Merge pull request #21 from delcypher/fix_query_logging

Fix queries not being logged correctly if an assertion failure is hit.
Merge pull request #23 from MartinNowack/fix_putchar

Fix implementation for putchar