Added support for windows

Windows uses a salted Berkeley DB instead of LevelDB. Also, I made a few changes to threads.main and truth_cli.py to make everything work nicely with windows and with linux.