Bug fixes and windows compatibility

We have finally set up AppVeyor for the continuous integration of SoS under windows system. A number of small problems were identified and fixed to make sure SoS works properly under windows. The AppVeyor test environment is especially important because none of the core developers uses windows as primary machine so it is very easy to break SoS under windows without such an automatic test environment.