windows port

Modifications so that python code runs on windows 64 bit. spearmint_sync braninpy seems to work. Didn't test on linux.